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

by L A Clarke
Venue:IEEE Trans. on Softw. Eng