Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

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