@article{article, title = {{Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs}}, publisher = {{Oxford University Press (OUP)}}, url = {{}}, year = {{2006}}, month = {{5}}, author = {{Derderian K}}, doi = {{10.1093/comjnl/bxl003}}, volume = {{49}}, journal = {{The Computer Journal}}, issue = {{3}}, pages = {{331-344}}, note = {{Accessed on 2024/12/21}}}