Program Reduction using Symbolic Execution” in (1981)

by J C King
Venue:ACM SIGSOFT Software Engineering Notes