Automatically generating test cases for safety-critical software via symbolic execution
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
Topics & Concepts
Computer scienceSymbolic executionCode coverageProgramming languageSoftware engineeringTest caseConcolic testingSoftwareReliability engineeringEngineeringRegression analysisMachine learningSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification