Program Reduction using Symbolic Execution (0)

by J C King
Venue:in ACM SIGSOFT Software Engineering