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 - 2025/07/27 ER -