Robert Cartwright. Formal Program Testing. In Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 125-132, 1981.
@inproceedings{Cartwright81:0,
title = {Formal Program Testing},
author = {Robert Cartwright},
year = {1981},
tags = {testing},
researchr = {https://researchr.org/publication/Cartwright81%3A0},
cites = {0},
citedby = {0},
pages = {125-132},
booktitle = {Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}