L

aboratory of

T

est and

A

nalysis

www.lta.disco.unimib.it

 Founded in 2001  Main research areas: - Software Testing and Analysis - Dynamic analysis, automated debugging, symbolic execution - Testing OO software, testing component-based software - Formal Methods - Graph transformation systems, model checking - Self-Healing Systems and Self-Adaptive Systems - Design for SH, functional SH  10 scientists: 4 faculties, 4 jr. research fellows, 2 PhD students  Several external collaborators 

Contact

: Mauro Pezzè, [email protected]