%0 Journal Article
%T 基于编译支持错误跟踪的测试用例自动化生成方法
%A 何炎祥  陈  勇  吴  伟  徐  超  吴黎兵
%J -
%D 2012
%X 测试用例的自动生成是实现测试自动化的重要保障,是验证可信软件..
%K [测试用例
%K 自动测试
%K 错误可跟踪
%K 编译器
%K 操作语义
%K test case
%K automatical testing
%K error-traceable
%K compiler
%K operational semantics]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I9/1843