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

• A test sequence generation algorithm based on improved transition executability analysis