一种基于双约束传播的面向路径自动随机测试方法

黄远东卢江赵瑞莲

Path-oriented automatic random testing method based on double constraint propagation

Yuan-Dong HUANG Rui-lian ZHAO

计算机应用 . 2008, (4): 1032 -1034 .