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

ER  -