"Leveraging abstract interpretation for efficient dynamic symbolic execution."

Eman Alatawi, Harald Søndergaard, Tim Miller (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics