"Systematic comparison of symbolic execution systems: intermediate ..."

Sebastian Poeplau, Aurélien Francillon (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics