J. Mack Adams, James Armstrong, Melissa Smartt. Assertional checking and symbolic execution: An effective combination for debugging. In Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979. pages 152-156, ACM, 1979. [doi]
Abstract is missing.