Hi! I'm Fabrizio, a postdoctoral researcher at the Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg.
My Research interests regard Software Engineering, in particular Automatic Debugging, Program Analysis, and Software Testing.
I'm currently working on Model Based techniques to automate System Testing.
Previously I worked as postdoctoral researcher at the University of Milano - Bicocca where i focused my research on Dynamic Program Analysis. 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.