TY - JOUR T1 - Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine JO - Formal Aspects of Computing PY - 2008/01/01 AU - Hierons RM AU - Ipate F ED - DO - DOI: 10.1007/s00165-008-0087-2 PB - Springer Science and Business Media LLC VL - 20 IS - 6 SP - 597 EP - 617 Y2 - 2025/04/13 ER -