Assertional checking and symbolic execution: An effective combination for debugging. - J. Mack Adams; James Armstrong; Melissa Smartt (ACM Annual Conference, 1979)