Adobe Research
People
Research
Publications
News
Careers
Programs
Videos
About
Search
Publications
Symbolic execution and program testing
Commun. ACM , 19(7), 385–394
Publication date: February 15, 1976
J. King
Learn More