The following publications are possibly variants of this publication:
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machineRobert M. Hierons, Mark Harman. TCS, 323(1-3):191-233, 2004. [doi]
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machineRobert M. Hierons, Florentin Ipate. fac, 20(6):597-617, 2008. [doi]
- Testing timed systems modeled by Stream X-machinesMercedes G. Merayo, Manuel Núñez, Robert M. Hierons. SoSyM, 10(2):201-217, 2011. [doi]