Hi! I'm Fabrizio, a researcher at the University of Milano - Bicocca.

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

I've been a research associate at the Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg, where I worked on Model Based techniques to automate System Testing.

In the past I designed several anomaly detection techniques that use program instrumentation or log file analysis to support software developers in the debugging of software faults. I implemented most of these techniques in tools that are freely available, look at the tools page for a list of all the available tools. I recently worked on the integration between model checking and dynamic program analysis to automatically spot regression faults.