基于谓词抽象的测试用例约简生成方法
郭曦,张焕国
Approach for reduced test suite generation based on predicate abstraction
Xi GUO,Huan-guo ZHANG
通信学报 . 2012, (3): 35 -43 .  DOI: 1000-436X(2012)03-0035-09