TY  - JOUR

T1  - Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

JO  - The Computer Journal

PY  - 1998/01/01

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1093/comjnl/41.5.349

PB  - Oxford University Press (OUP)

VL  - 41

IS  - 5

SP  - 349

EP  - 355

Y2  - 2024/12/23

ER  -