@article{article, title = {{Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine}}, publisher = {{Oxford University Press (OUP)}}, url = {{}}, year = {{2003}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1093/comjnl/46.3.307}}, volume = {{46}}, journal = {{The Computer Journal}}, issue = {{3}}, pages = {{307-318}}, note = {{Accessed on 2025/07/08}}}