This is an old revision of the document!

Hi, I'm a postdoctoral researcher at the Department of Informatics Systems and Communications of the University of Milano - Bicocca.

My Reserach interests regard Software Engineering, in particular Automatic Debugging, Program Analysis, and Software Testing.

I am currently working on the development of techniques that integrate model checking and dynamic program analysis to automatically spot regression faults not detected by traditional regression testing.