Federico Formica

18 papers Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ensembles-based Feature Guided Analysis.
CoRR
Federico Formica, Stefano Gregis, Andrea Rota, Aurora Francesca Zanenga, Mark Lawford, Claudio Menghi
2025 J jnl
Feature-Guided Analysis of Neural Networks: A Replication Study.
CoRR
Federico Formica, Stefano Gregis, Aurora Francesca Zanenga, Andrea Rota, Mark Lawford, Claudio Menghi
2025 — ed.
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, ASQAP 2025, Hamilton, Canada, 4th May 2025.
ASQAP
Marsha Chechik, Arianna Fedeli, Gianluca Filippone, Federico Formica, Mirgita Frasheri, Nico Hochgeschwender, Lina Marsso
2025 J jnl
Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives.
CoRR
Federico Formica, Mark Lawford, Claudio Menghi
2025 J jnl
Search-based Testing of Simulink Models with Requirements Tables.
CoRR
Federico Formica, Chris George, Shayda Rahmatyan, Vera Pantelic, Mark Lawford, Angelo Gargantini, Claudio Menghi
2024 — conf
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.
SIGSOFT FSE Companion
Federico Formica, Mohammad Mahdi Mahboob, Mehrnoosh Askarpour, Claudio Menghi
2024 J jnl
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
ACM Trans. Softw. Eng. Methodol.
Federico Formica, Tony Fan, Claudio Menghi
2024 J jnl
Search-based Trace Diagnostic.
CoRR
Gabriel F. P. Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi
2024 J jnl
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.
IEEE Trans. Software Eng.
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
2023 — conf
ARCH-COMP23 Category Report: Falsification.
ARCH
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
2023 J jnl
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
CoRR
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
2023 J jnl
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol.
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
2023 — conf
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
ESEC/SIGSOFT FSE
Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi
2023 J jnl
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
CoRR
Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi
2022 — conf
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
ARCH@SAFECOMP
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
2022 J jnl
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
CoRR
Federico Formica, Mehrnoosh Askarpour, Claudio Menghi
2022 J jnl
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks.
CoRR
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
2021 — conf
Neural Networks based Human Intent Prediction for Collaborative Robotics Applications.
ICAR
Federico Formica, Stefano Vaghi, Niccolò Lucci, Andrea Maria Zanchettin