Il-Hyung Cho, John D. McGregor. A formal approach to specifying and testing the interoperation between components. In A. Joe Turner, editor, Proceedings of the 38th Annual Southeast Regional Conference, 2000, Clemson, South Carolina, USA, April 7-8, 2000. pages 161-170, ACM, 2000. [doi]
@inproceedings{ChoM00:1,
title = {A formal approach to specifying and testing the interoperation between components},
author = {Il-Hyung Cho and John D. McGregor},
year = {2000},
doi = {10.1145/1127716.1127753},
url = {http://doi.acm.org/10.1145/1127716.1127753},
tags = {testing, systematic-approach},
researchr = {https://researchr.org/publication/ChoM00%3A1},
cites = {0},
citedby = {0},
pages = {161-170},
booktitle = {Proceedings of the 38th Annual Southeast Regional Conference, 2000, Clemson, South Carolina, USA, April 7-8, 2000},
editor = {A. Joe Turner},
publisher = {ACM},
isbn = {1-58113-250-6},
}