"Prototyping symbolic execution engines for interpreted languages."

Stefan Bucur, Johannes Kinder, George Candea (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics