TY - JOUR T1 - Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs JO - The Computer Journal PY - 2006/05/01 AU - Derderian K ED - DO - DOI: 10.1093/comjnl/bxl003 PB - Oxford University Press (OUP) VL - 49 IS - 3 SP - 331 EP - 344 Y2 - 2025/04/05 ER -