Symbolic execution and program testing

Commun. ACM , 19(7), 385–394

Publication date: February 15, 1976

J. King