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

Program reduction using symbolic execution

December 20, 1981

J. King

Read Research Paper