@article{article, title  = {{Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs}},

 publisher = {{Oxford University Press (OUP)}},

 url = {{https://doi.org/10.1093/comjnl/bxl003 }},

 year = {{2005}},

 month = {{12}},

 author = {{Derderian K}},

 doi = {{10.1093/comjnl/bxl003}},

 volume = {{49}},

 journal = {{The Computer Journal}},

 issue = {{3}},

 pages = {{331-344}},

 note = {{Accessed on 2025/11/05}}}