Robert M. Hierons, Mark Harman. Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Asp. Comput., 12(6):423-442, 2000. [doi]
@article{HieronsH00,
title = {Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine},
author = {Robert M. Hierons and Mark Harman},
year = {2000},
url = {http://link.springer.de/link/service/journals/00165/bibs/0012006/00120423.htm},
tags = {testing},
researchr = {https://researchr.org/publication/HieronsH00},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {12},
number = {6},
pages = {423-442},
}