Debra J. Richardson. TAOS: Testing with Analysis and Oracle Support. In ISSTA. pages 138-153, 1994. [doi]
@inproceedings{Richardson94, title = {TAOS: Testing with Analysis and Oracle Support}, author = {Debra J. Richardson}, year = {1994}, doi = {10.1145/186258.187158}, url = {http://doi.acm.org/10.1145/186258.187158}, tags = {testing, analysis}, researchr = {https://researchr.org/publication/Richardson94}, cites = {0}, citedby = {0}, pages = {138-153}, booktitle = {ISSTA}, }