Fabrizio Pastore is associate professor/chief scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg. He holds a PhD degree in computer science from the University of Milano-Bicocca (Italy). His research interests concern automated software testing, including security testing and testing of AI-based systems; his work relies on the integrated analysis of different types of artefacts, including requirement specifications, models, source code, and execution traces.