Program reduction using symbolic execution (1981)

by J C King
Venue:SIGSOFT Softw. Eng. Notes