Matthew Naylor, Colin Runciman. Finding Inputs that Reach a Target Expression. In Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France. pages 133-142, IEEE, 2007. [doi]
Abstract is missing.