"Spotting working code examples."

Iman Keivanloo, Juergen Rilling, Ying Zou (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics