Finding Inputs that Reach a Target Expression.

Matthew Naylor, Colin Runciman

Browse the full SCAM paper archive.