TY  - JOUR

T1  - Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine

JO  - The Computer Journal

PY  - 2003/01/01

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1093/comjnl/46.3.307

PB  - Oxford University Press (OUP)

VL  - 46

IS  - 3

SP  - 307

EP  - 318

Y2  - 2024/12/21

ER  -