基于构造类别代数的变异分析
周晓煜, 赵保华, 屈玉贵
Mutation Analysis Based on Constructed Type Algebra Specification
ZHOU Xiao-yu, ZHAO Bao-hua, QU Yu-gui
电子学报 . 2002, (S1): 2155 -2157 .