Symbolic execution and program testing (1976)

by J C King
Venue:Communications of the ACM