@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 2024/10/23}}}