Killing Stubborn Mutants with Symbolic Execution
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon
Abstract
peer reviewed
Topics & Concepts
Computer scienceSymbolic executionMutantScalabilityBenchmark (surveying)Process (computing)Programming languageTheoretical computer scienceSoftwareOperating systemBiologyGeodesyBiochemistryGeographyGeneSoftware Testing and Debugging TechniquesSoftware Engineering ResearchAdvanced Malware Detection Techniques