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

by L Clarke
Venue:IEEE Transactions on Software Engineering