Path-oriented automatic random testing method based on double constraint propagation
Yuan-Dong HUANG Rui-lian ZHAO
Journal of Computer Applications . 2008, (4): 1032 -1034 .