Symbolic execution systems – a review, Softw (1988)

by D Coward
Venue:Eng. J