Adobe Research
People
Research
Publications
News
Careers
Programs
Videos
About
Search
Publications
Program reduction using symbolic execution
ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14
Publication date: December 20, 1981
J. King
Learn More