"Visualizing Unbounded Symbolic Execution."

Martin Hentschel, Reiner Hähnle, Richard Bubel (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics