Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives

Dominic Steinhöfel
January, 2021
Cite DOI
Type
Conference paper
Publication
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday