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]
@inproceedings{AdamsAS79,
title = {Assertional checking and symbolic execution: An effective combination for debugging},
author = {J. Mack Adams and James Armstrong and Melissa Smartt},
year = {1979},
doi = {10.1145/800177.810051},
url = {http://doi.acm.org/10.1145/800177.810051},
researchr = {https://researchr.org/publication/AdamsAS79},
cites = {0},
citedby = {0},
pages = {152-156},
booktitle = {Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979},
publisher = {ACM},
isbn = {0-89791-008-7},
}