Sign in
Federico Formica
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 9
Top Topics
Software Testing
Manually Generated
Test Case Generation
Neural Network
Top Venues
CoRR
Inf. Softw. Technol.
ACM Trans. Softw. Eng. Methodol.
ESEC/SIGSOFT FSE
</>
Publications
</>
Federico Formica
,
Tony Fan
,
Akshay Rajhans
,
Vera Pantelic
,
Mark Lawford
,
Claudio Menghi
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.
IEEE Trans. Software Eng.
50 (2) (2024)
Federico Formica
,
Tony Fan
,
Claudio Menghi
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
ACM Trans. Softw. Eng. Methodol.
33 (2) (2024)
Shiva Nejati
,
Lev Sorokin
,
Damir Safin
,
Federico Formica
,
Mohammad Mahdi Mahboob
,
Claudio Menghi
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
CoRR
(2023)
Federico Formica
,
Nicholas Petrunti
,
Lucas Bruck
,
Vera Pantelic
,
Mark Lawford
,
Claudio Menghi
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
ESEC/SIGSOFT FSE
(2023)
Federico Formica
,
Nicholas Petrunti
,
Lucas Bruck
,
Vera Pantelic
,
Mark Lawford
,
Claudio Menghi
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
CoRR
(2023)
Shiva Nejati
,
Lev Sorokin
,
Damir Safin
,
Federico Formica
,
Mohammad Mahdi Mahboob
,
Claudio Menghi
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol.
163 (2023)
Federico Formica
,
Tony Fan
,
Akshay Rajhans
,
Vera Pantelic
,
Mark Lawford
,
Claudio Menghi
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks.
CoRR
(2022)
Federico Formica
,
Mehrnoosh Askarpour
,
Claudio Menghi
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
CoRR
(2022)
Federico Formica
,
Stefano Vaghi
,
Niccolò Lucci
,
Andrea Maria Zanchettin
Neural Networks based Human Intent Prediction for Collaborative Robotics Applications.
ICAR
(2021)