A TEST CASES GENERATION METHOD FOR UML STATECHARTS

• UML statecharts的测试用例生成方法