Finding inputs that reach a target expression (2007)

by Matthew Naylor, Colin Runciman
Venue:In Proc. SCAM ’07. IEEE Computer Society