Foto del docente

Cosimo Laneve


Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics


Analisi del tool JaDA (Java Deadlock Analyzer) e eventuali estensioni.

Tirocinio Formativo: Development of a testing environment for JaDA.

*  Development of new testing programs (with different levels of difficulty) and their description (that could be included as part of the comments in the source code)

* Improve the documentation of the whole tool.

* Highlight restrictions and how to solve them.

Tesi di Laurea Triennale:

- Extend the tool with additional features, such as automatic generation of test cases.

- Assessment of JaDA with respect to other tools.

Published on: April 22 2016