Federico Formica

According to our database, Federico Formica authored at least 10 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 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., February, 2024

Search-based Trace Diagnostic.

Gabriel Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi

CoRR, 2024

ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.

Federico Formica, Mohammad Mahdi Mahboob, Mehrnoosh Askarpour, Claudio Menghi

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.

Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi

Inf. Softw. Technol., November, 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

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

ARCH-COMP23 Category Report: Falsification.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.

Federico Formica, Mehrnoosh Askarpour, Claudio Menghi

CoRR, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Neural Networks based Human Intent Prediction for Collaborative Robotics Applications.

Federico Formica, Stefano Vaghi, Niccolò Lucci, Andrea Maria Zanchettin

Proceedings of the 20th International Conference on Advanced Robotics, 2021