TY  - JOUR

T1  - Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

JO  - The Computer Journal

UR  - https://doi.org/10.1093/comjnl/bxl003

PY  - 2005/12/19

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/11/05

ER  -