I'm Fabrizio Pastore, Chief Scientist II at the SnT Centre for Security Reliability and Trust of the University of Luxembourg. In the past, I've been an assistant professor at the University of Milano - Bicocca.

My Research interests concern Software Engineering, in particular Software Testing, Program Analysis, Specifications Mining, and Automated Debugging. I work with embedded, cyber-physical systems, AI-enabled components, mobile devices. My research contributions concern DNN error explanation, requirements-driven testing, model-based testing, metamorphic testing, security testing, anomaly detection based on trace analysis, fault localization.

I'm principal investigator of two research projects, Fault-based, Automated Quality Assurance Assessment and Augmentation for Space Software (FAQAS ), funded by the European Space Agency, and Functional Safety for Autonomous Systems (FUNTASY), funded by FNR. In addition, I co-lead a number of industrial partnerships and European projects at SnT's Software Verification and Validation lab.

I conduct context-driven research that always ends up in publications in top software engineering venues and usable research prototypes. A list of toolsets based on my research is available on the tools page.