Algorithm selection for dynamic symbolic execution: a preliminary study
From MaRDI portal
Publication:2119113
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
software verificationconstraint solvingalgorithm selectiondynamic symbolic executionportfolio solving
Uses Software
This page was built for publication: Algorithm selection for dynamic symbolic execution: a preliminary study