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  - 2024/12/22

ER  -