Federico Formica

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

Collaborative distances:

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

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

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

2022

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

Federico Formica, Mehrnoosh Askarpour, Claudio Menghi

CoRR, 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