Symbolic execution and program testing (1976)

by James C King
Venue:Communications of the ACM