"Symbolic execution with SymCC: Don't interpret, compile!"

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