PanLinx
普通话
cmn-000
路径敏化测试产生法
English
eng-000
path sensitizing test generation
PanLex