Symbolic execution and program testing (1976)

by J C KING
Venue:Communications of the ACM