"Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving."

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics