Denaro, Giovanni

1. Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
   2022/09/22 by Elson Kurian, Daniela Briola, Kurian, Elson +5 · 1 citation
   Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
2. On Introducing Automatic Test Case Generation in Practice: A Success\n Story and Lessons Learned
   2021/02/28 by Matteo Brunetto, Brunetto, Matteo, Giovanni Denaro +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Software Reliability and Analysis Research #Software System Performance and Reliability #Software Testing and Debugging Techniques