Neural Networks based Human Intent Prediction for Collaborative Robotics Applications. - Federico Formica; Stefano Vaghi; Niccolò Lucci; Andrea Maria Zanchettin (ICAR, 2021)

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)

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. - Federico Formica; Mehrnoosh Askarpour; Claudio Menghi (CoRR, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. - Federico Formica; Nicholas Petrunti; Lucas Bruck; Vera Pantelic; Mark Lawford; Claudio Menghi (ESEC/SIGSOFT FSE, 2023)

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)

Search-based Trace Diagnostic. - Gabriel F. P. Araujo; Ricardo Caldas; Federico Formica; Genaína Nunes Rodrigues; Patrizio Pelliccione; Claudio Menghi (CoRR, 2024)

Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. - Federico Formica; Tony Fan; Claudio Menghi (ACM Trans. Softw. Eng. Methodol., 2024)

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. - Federico Formica; Tony Fan; Akshay Rajhans; Vera Pantelic; Mark Lawford; Claudio Menghi (IEEE Trans. Software Eng., 2024)

Search-based Testing of Simulink Models with Requirements Tables. - Federico Formica; Chris George; Shayda Rahmatyan; Vera Pantelic; Mark Lawford; Angelo Gargantini; Claudio Menghi (CoRR, 2025)