Claudio Menghi
- Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
2019/10/07 by Claudio Menghi, Menghi, Claudio, Shiva Nejati +5 · 4 citations
Computer Science · #Software Testing and Debugging Techniques #Formal Methods in Verification #Software Reliability and Analysis Research
- Evaluating Model Testing and Model Checking for Finding Requirements\n Violations in Simulink Models
2019/05/09 by Shiva Nejati, Khouloud Gaaloul, Nejati, Shiva +9 · 3 citations
Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Real-time simulation and control systems
- 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, Nejati, Shiva, Lev Sorokin +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, Fan, Tony +2 · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Software Reliability and Analysis Research