摘要
F.Ambert、F.Bouquet、S.Chemin、S.Guenaud、B.Legeard、F.Peureux、N.Vacelet和M.Utting。 BZ-TT：使用约束逻辑编程从Z和B生成测试的工具集。 R.Hierons和T.Jerron，编辑，软件测试的正式方法，CONCUR’02的FATES 2002研讨会，第105-120页。 INRIA报告，2002年8月。 谷歌学者 
G.Bernot、M.C.Gaudel和B.Marre。 基于形式规范的软件测试：理论和工具。 柔和。 《工程师杂志》，6（6）：387--4051991年。 谷歌学者 数字图书馆 
C.Boyapati、S.Khurshid和D.Marinov。 Korat：基于Java谓词的自动化测试。 程序中。 2002年软件测试与分析国际研讨会，第123-133页。 谷歌学者 数字图书馆 A.D.Brucker和B.Wolff。 基本递归函数的符号测试用例生成。 《命运》杂志编辑J.Grabowski和B.Nielsen，《计算机科学讲义》第3395卷，第16-32页。 斯普林格，2004年。 谷歌学者 数字图书馆 W.R.Bush、J.D.Pincus和D.J.Sielaff。 用于查找动态编程错误的静态分析器。 柔和。 实际。 专家。， 30(7):775--802, 2000. 谷歌学者 数字图书馆 C.Csallner和Y.Smaragdakis。 JCrasher：用于Java的自动健壮性测试程序。 《软件：实践与经验》，34:1025-10502004。 谷歌学者 数字图书馆 C.Csallner和Y.Smaragdakis。 检查“n”崩溃：结合静态检查和测试。 第27届国际软件工程会议，2005年5月。 出现。 谷歌学者 数字图书馆 D.Detlefs、G.Nelson和J.Saxe。 简化：用于程序检查的定理证明器。 技术报告HPL-2003-148，惠普实验室，加利福尼亚州帕洛阿尔托，美国，2003年。 谷歌学者 J.Dick和A.Faivre。 根据基于模型的规范自动生成和排序测试用例。 《工业强度形式方法，欧洲形式方法》（FME'93），LNCS第670卷，第268-284页。 施普林格，1993年。 谷歌学者 数字图书馆 C.Flanagan、K.R.M.Leino、M.Lillibridge、G.Nelson、J.B.Saxe和R.Stata。 Java的扩展静态检查。 程序中。 ACM SIGPLAN 2002年编程语言设计和实现会议，第234-245页。 ACM出版社，2002年。 谷歌学者 数字图书馆 P.Godefroid、N.Klarlund和K.Sen.DART：指导自动化随机测试。 SIGPLAN通告，40（6）：213--2232005。 谷歌学者 数字图书馆 W.Grieskamp、N.Tillmann和W.Schulte。 XRT---探索的运行时。 NET——体系结构和应用程序。 程序中。 第三届SoftMC，2005年。 出现。 谷歌学者 J.C.金。 符号执行和程序测试。 Commun公司。 美国医学会，19（7）：385--3941976年。 谷歌学者 数字图书馆 D.Marinov和S.Khurshid。 TestEra：一个新的Java程序自动化测试框架。 程序中。 第16届IEEE自动化软件工程国际会议，第22-31页，2001年。 谷歌学者 数字图书馆 微软。 Visual Studio 2005 Team System。 http://lab.msdn.microsoft.com/teamsystem/。 谷歌学者 数字图书馆 J·W·纽柯克和A·A·沃龙佐夫。 Microsoft中的测试驱动开发。 净利润。 微软出版社，2004年4月。 谷歌学者 数字图书馆 NUnit开发团队。 NUnit公司。 http://www.nunit.org/。 谷歌学者 Parasoft公司。 Jtest手册5.1版。 在线手册，2004年7月。 http://www.parasoft.com/。 谷歌学者 测试、验证和测量，微软研究院。 扎普定理证明器。 http://research.microsoft.com/tvm/。 谷歌学者 N.Tillmann和W.Schulte。 参数化单元测试。 程序中。 第13届软件工程基础国际研讨会，2005年。 出现。 谷歌学者 数字图书馆 W.Visser、C.S.Pasareanu和S.Khurshid。 使用Java PathFinder测试输入生成。 程序中。 2004年ACM SIGSOFT国际软件测试与分析研讨会，第97-107页，2004年。 谷歌学者 数字图书馆
建议
参数化单元测试：理论与实践 ICSE’10：第32届ACM/IEEE软件工程国际会议论文集-第2卷 单元测试被广泛认为是提高软件可靠性的一种重要且有价值的方法，因为它在软件开发生命周期的早期就暴露了错误。 然而，手动单元测试通常是冗长而不足的。 测试工具。。。
