TY  - CONF

T1  - Refinement in statechart testing

JO  - SOFTWARE TESTING VERIFICATION & RELIABILITY

PY  - 2004/09/01

AU  - Bogdanov K

AU  - Holcombe M

ED  - 

DO  - DOI: 10.1002/stvr.301

VL  - 14

IS  - 3

SP  - 189

EP  - 211

Y2  - 2024/12/22

ER  -