摘要
T.球。 抽象引导测试生成：案例研究。 技术报告MSR-TR-2003-86，Microsoft Research。 谷歌学者 
C.W.Barrett和S.Berezin。 CVC Lite：协作有效性检查程序的一种新实现。 程序中。 第十六届计算机辅助验证国际会议，第515-518页，2004年7月。 谷歌学者 交叉引用 
D.Beyer、A.J.Chlipala、T.A.Henzinger、R.Jhala和R.Majumdar。 从反例生成测试。 程序中。 第26届ICSE，第326-335页，2004年。 谷歌学者 数字图书馆 
D.Bird和C.Munoz。 随机自检测试用例的自动生成。 IBM系统杂志，22（3）：229--2451983。 谷歌学者 数字图书馆 C.Boyapati、S.Khurshid和D.Marinov。 Korat：基于Java谓词的自动化测试。 程序中。 《软件测试与分析国际研讨会》，第123-133页，2002年。 谷歌学者 数字图书馆 C.Cadar和D.Engler。 执行生成的测试用例：如何使系统代码本身崩溃。 程序中。 SPIN研讨会，2005年。 谷歌学者 数字图书馆 K.Claessen和J.Hughes。 Quickcheck：用于随机测试Haskell程序的轻量级工具。 程序中。 第五届ACM SIGPLAN国际函数编程会议（ICFP），第268-2792000页。 谷歌学者 数字图书馆 C.Csallner和Y.Smaragdakis。 JCrasher：用于Java的自动健壮性测试程序。 《软件：实践与经验》，34:1025--10502004年。 谷歌学者 数字图书馆 C.Csallner和Y.Smaragdakis。 检查“n”崩溃：结合静态检查和测试。 在2005年第27届国际软件工程会议上。 谷歌学者 数字图书馆 J.E.Forrester和B.P.Miller。 使用随机测试对Windows NT应用程序健壮性的实证研究。 2000年第四届USENIX Windows系统研讨会论文集。 谷歌学者 数字图书馆 P.Godefroid、N.Klarlund和K.Sen.DART：定向自动化随机测试。 程序中。 2005年ACM SIGPLAN编程语言设计与实现会议（PLDI）。 谷歌学者 数字图书馆 W.Grieskamp、Y.Gurevich、W.Schulte和M.Veanes。 从抽象状态机生成有限状态机。 程序中。 2002年软件测试与分析国际研讨会，第112-122页。 谷歌学者 数字图书馆 N.Gupta、A.P.Mathur和M.L.Soffa。 正在生成分支覆盖率的测试数据。 程序中。 自动化软件工程国际会议，第219-227页，2000年。 谷歌学者 数字图书馆 S.Khurshid、C.S.Pasareanu和W.Visser。 用于模型检查和测试的广义符号执行。 程序中。 TACAS第九届国际会议，第553-568页，2003年。 谷歌学者 数字图书馆 B.科雷尔。 测试数据生成的一种动态方法。 在IEEE软件维护会议上，第311-317页，1990年11月。 谷歌学者 交叉引用 E.拉尔森和T.奥斯汀。 输入相关安全故障的高覆盖率检测。 程序中。 第十二届USENIX安全研讨会（2003年安全），2003年8月。 谷歌学者 数字图书馆 lp_解决方案。 http://groups.yahoo.com/group/lp_solve/。 谷歌学者 J.McCarthy和J.Painter。 编译器对算术表达式的正确性。 应用数学专题讨论会论文集。 AMS，1967年。 谷歌学者 交叉引用 G.C.Necula、S.McPeak、S.P.Rahul和W.Weimer。 CIL：C程序分析和转换的中间语言和工具。 《编译器构造会议论文集》，第213-228页，2002年。 谷歌学者 数字图书馆 J.Offut和J.Hayes。 程序错误的语义模型。 程序中。 1996年ISSTA第195-200页。 谷歌学者 数字图书馆 C.帕切科和M.D.恩斯特。 Eclat：测试输入的自动生成和分类。 2005年第19届欧洲面向对象编程会议。 谷歌学者 数字图书馆 Parasoft公司。 Jtest手册6.0版。 在线手册，2005年2月。 http://www.parasoft.com/。 谷歌学者 C.S.Pasareanu、M.B.Dwyer和W.Visser。 在模型检查抽象java程序时找到可行的反例。 程序中。 2001年TACAS’01，第284--298页。 谷歌学者 数字图书馆 K.Sen、D.Marinov和G.Agha。 CUTE：C技术报告UIUCDCS-R-2005-2597中的一个混合单元测试引擎，UIUC，2005年。 谷歌学者 交叉引用 SGLIB公司。 http://xref-tech.com/sglib/main.html。 谷歌学者 瓦尔格林德。 http://valgrind.org/。 谷歌学者 W.Visser、C.S.Pasareanu和S.Khurshid。 使用Java PathFinder测试输入生成。 程序中。 2004年ACM SIGSOFT国际软件测试与分析研讨会，第97-107页，2004年。 谷歌学者 数字图书馆 S.Visvanathan和N.Gupta。 使用指针输入为函数生成测试数据。 在第17届IEEE自动化软件工程国际会议上，2002年。 谷歌学者 数字图书馆 T.Xie、D.Marinov和D.Notkin。 Rostra：检测冗余面向对象单元测试的框架。 程序中。 第19届IEEE自动化软件工程国际会议，第196-205页，2004年9月。 谷歌学者 数字图书馆 T.Xie、D.Marinov、W.Schulte和D.Notkin。 Symstra：使用符号执行生成面向对象单元测试的框架。 程序中。 《系统构建和分析的工具和算法》，2005年。 谷歌学者 数字图书馆
建议
CUTE：一个C语言的混合单元测试引擎 在 单元测试 ，程序被分解为单元，这些单元是函数的集合。 可以通过为单输入功能生成输入来测试单元的一部分。 入口函数可能包含指针参数，在这种情况下，单元的输入。。。 ArbitCheck：一种高度自动化的Java属性测试工具 ICSTW’14：2014年IEEE软件测试、验证和确认研讨会国际会议记录 如今，基于轻量级属性的测试工具变得越来越流行。 通过基于属性的测试，开发人员可以在不编写测试用例的情况下，针对大量随机生成的输入来测试被测系统的属性。 尽管。。。
