Mauro Pezzè
Home
Research
Papers
Team
Vitae
Book
Service
Pictures
Videos
SE2030
Contact
My main publications are the following:
Automatic generation of software behavioral models
D Lorenzoli, L Mariani, M Pezzè
30th international conference on Software engineering (ICSE)
PDF
An empirical evaluation of fault-proneness models
G Denaro, M Pezzè
24th international conference on Software engineering (ICSE)
PDF
Using symbolic execution for verifying safety-critical systems
A Coen-Porisini, G Denaro, C Ghezzi, M Pezzè
8th European software engineering conference (ESEC)
PDF
You can find the list of all the publications of the STAR Software Testing and Analysis Research lab
here
and all my publications
here
.