Algorithm selection for dynamic symbolic execution: a preliminary study

DOI10.1007/978-3-030-68446-4_10OpenAlexW3130355461MaRDI QIDQ2119113

Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Roberto Amadini, Graeme Gange

Publication date: 23 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-68446-4_10

zbMATH Keywords

software verificationconstraint solvingalgorithm selectiondynamic symbolic executionportfolio solving

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CUTE
• z3
• KLEE
• SATzilla
• DART
• Pex
• Proteus
• claspfolio 2
• Jalangi
• jCUTE
• ExpoSE
• SUNNY

This page was built for publication: Algorithm selection for dynamic symbolic execution: a preliminary study