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