TY  - CONF

T1  - Automated test set generation for statecharts

JO  - APPLIED FORMAL METHODS - FM-TRENDS 98

PY  - 1999/01/01

AU  - Bogdanov K

AU  - Holcombe M

AU  - Singh H

ED  - Hutter D

ED  - Stephan W

ED  - Traverso P

ED  - Ullmann M

VL  - 1641

SP  - 107

EP  - 121

Y2  - 2025/03/03

ER  -