"On the Nature of Symbolic Execution."

Frank S. de Boer, Marcello M. Bonsangue (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics