This work is supported by the National Natural Science Foundation of China (No.60473031, No.60273070).
UML Statechart has become a popular notion for specifying complex reactive systems, especially for software systems. Due to the complex and informal semantics of Statecharts, testing Statecharts is a challenging probl...