TY - CONF T1 - Automatic generation of tests from Statechart specifications PY - 2001/01/01 AU - Burton S AU - Clark JA AU - McDermid JA ED - Y2 - 2024/12/22 ER -