AUTOMATIC TEST SUITE GENERATION BASED ON LABELLED TRANSITION SYSTEM

• 基于标号变迁系统的测试集自动生成