@article{article, title = {{Testing conformance of a deterministic implementation against a non-deterministic stream X-machine}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{Hierons RM and Harman M}}, doi = {{10.1016/j.tcs.2004.04.002}}, volume = {{323}}, journal = {{Theoretical Computer Science}}, issue = {{1-3}}, pages = {{191-233}}, note = {{Accessed on 2025/06/24}}}