SELECT: a formal system for testing and debugging programs by symbolic execution (1975)

by R S Boyer, B Elspas, K N Levitt
Venue:In Proceedings of the International Conference on Reliable Software