David Matuszek
The University of Texas, Austin, Texas
Assertional checking and symbolic execution: An effective combination for debugging
ACM '79 Proceedings of the 1979 annual conference