A test sequence generation algorithm based on improved transition executability analysis

• 一种改进的转换可执行分析测试序列生成算法