A system to generate test data and symbolically execute programs (1976)

by L A CLARKE
Venue:IEEE Transactions on Software Engineering