TY  - JOUR

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

JO  - The Computer Journal

UR  - https://doi.org/10.1093/comjnl/46.3.307

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  - 2025/11/05

ER  -