ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang (ARCH@SAFECOMP, 2022)

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. - Shiva Nejati 001; Lev Sorokin; Damir Safin; Federico Formica; Mohammad Mahdi Mahboob; Claudio Menghi (Inf. Softw. Technol., 2023)

ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. - Federico Formica; Mohammad Mahdi Mahboob; Mehrnoosh Askarpour; Claudio Menghi (SIGSOFT FSE Companion, 2024)