Federico Formica
- Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
2023/04/28 by Shiva Nejati, Lev Sorokin, Nejati, Shiva +9 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Software System Performance and Reliability
- Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
2023/05/29 by Federico Formica, Nicholas Petrunti, Formica, Federico +9 · 2 citations
Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
2022/07/22 by Federico Formica, Formica, Federico, Claudio Menghi +2 · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Software Reliability and Analysis Research