Florentin Ipate, Mike Holcombe. Complete Testing from a Stream X-Machine Specification. Fundamenta Informaticae, 64(1-4):205-216, 2005. [doi]
@article{IpateH05:0,
title = {Complete Testing from a Stream X-Machine Specification},
author = {Florentin Ipate and Mike Holcombe},
year = {2005},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=64&issue=1&spage=205},
tags = {completeness, testing},
researchr = {https://researchr.org/publication/IpateH05%3A0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {64},
number = {1-4},
pages = {205-216},
}