"Lazy Symbolic Execution for Enhanced Learning."

Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics