Program reduction using symbolic execution

ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14

Publication date: December 20, 1981

J. King