摘要
A.V.Aho(阿霍)。 编辑者:原理、技术和工具(安娜大学),2/e 《培生教育印度》,2003年。 谷歌学者 数字图书馆 E.T.Barr、M.Harman、P.McMinn、M.Shahbaz和S.Yoo。 软件测试中的预言问题:一项调查。 IEEE软件工程汇刊 , 41(5):507--525, 2015. 谷歌学者 数字图书馆 F.Bazzichi和I.Spadafora。 用于编译器测试的自动生成器。 IEEE软件工程汇刊 , (4):343--353, 1982. 谷歌学者 数字图书馆 A.S.Boujarwah和K.Saleh。 编译器测试用例生成方法:调查与评估。 信息和软件技术 , 39(9):617--625, 1997. 谷歌学者 D.卡拉汉、J.东加拉和D.莱文。 矢量化编译器:测试套件和结果。 在 1988年ACM/IEEE超级计算会议记录 ,第98-105页。 IEEE,1988年。 谷歌学者 数字图书馆 J.Chen、Y.Bai、D.Hao、Y.Xiong、H.Zhang、L.Zhang和B.Xie。 编译器的测试用例优先级:一种基于文本向量的方法。 在 第九届软件测试、验证和确认国际会议记录 , 2016. 谷歌学者 交叉引用 Y.Chen、A.Groce、C.Zhang、W.-K.Wong、X.Fern、E.Eide和J.Regehr。 驯服编译器模糊器。 在 第34届ACM SIGPLAN编程语言设计与实现会议记录 ,第197-208页。 ACM,2013年。 谷歌学者 数字图书馆 丁毅、梅建华和郑浩。 java实时编译器的设计与实现。 计算机科学与技术杂志 ,15(6):584-592000。 谷歌学者 数字图书馆 K.V.汉福德。 自动生成测试用例。 IBM系统期刊 , 9(4):242--257, 1970. 谷歌学者 数字图书馆 W·哈里森。 编译器构造简介。 2013 谷歌学者 A.Kalinov、A.Kossatchev、A.Petrenko、M.Posypkin和V.Shishkov。 Coverage驱动的自动编译器测试套件生成。 理论计算机科学电子笔记 , 82(3):500--514, 2003. 谷歌学者 交叉引用 A.Kossatchev和M.Posypkin。 编译器测试方法综述。 编程和计算机软件 , 31(1):10--19, 2005. 谷歌学者 数字图书馆 V.Le、M.Afshari和Z.Su.通过等价模输入进行编译器验证。 在 第35届程序设计语言设计与实现会议记录 ,第216至226页。 ACM,2014年。 谷歌学者 数字图书馆 V.Le、C.Sun和Z.Su.通过引导随机程序变异发现深层编译器错误。 在 2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议记录 ,第386--399页。 ACM,2015年。 谷歌学者 数字图书馆 V.Le、C.Sun和Z.Su.链接时间优化器的随机应力测试。 在 2015年软件测试与分析国际研讨会论文集 ,第327--337页。 ACM,2015年。 谷歌学者 数字图书馆 C.Lidbury、A.Lascu、N.Chong和A.F.Donaldson。 许多核心编译器模糊化。 在 第36届ACM SIGPLAN编程语言设计与实现会议论文集 ,第65-76页,2015年。 谷歌学者 数字图书馆 C.林迪格。 C调用约定的随机测试。 在 第六届自动分析驱动调试国际研讨会论文集 ,第3-12页。 ACM,2005年。 谷歌学者 数字图书馆 W.M.McKeeman。 软件的差异测试。 数字技术期刊 , 10(1):100--107, 1998. 谷歌学者 E.Nagai、H.Awazu、N.Ishiura和N.Takeda。 针对算法优化的C编译器的随机测试。 在 混合信息技术综合与系统集成研讨会 ,第48-53页,2012年。 谷歌学者 E.Nagai、A.Hashimoto和N.Ishiura。 在C编译器算术优化的随机测试中,扩大表达式的大小和数量。 在 混合信息技术综合与系统集成研讨会 ,第88-93页,2013年。 谷歌学者 M.H.Pałka、K.Claessen、A.Russo和J.Hughes。 通过生成随机lambda项来测试优化编译器。 在 第六届软件测试自动化国际研讨会论文集 ,第91-97页。 ACM,2011年。 谷歌学者 数字图书馆 J.Regehr、Y.Chen、P.Cuoq、E.Eide、C.Ellison和X.Yang。 C编译器错误的测试用例减少。 在 第33届ACM SIGPLAN编程语言设计与实现会议记录 ,第335--346页。 ACM,2012年。 谷歌学者 数字图书馆 R.L.Rivest和C.E.Leiserson。 算法简介 McGraw-Hill公司,1990年。 谷歌学者 数字图书馆 H.萨梅特。 通过符号解释进行编译器测试。 在 1976年年度会议记录 ,第492--497页。 美国医学会,1976年。 谷歌学者 数字图书馆 R.L.绍德。 COBOL的通用测试数据生成器。 在 春季联合计算机会议记录 ,第317-323页。 ACM,1962年。 谷歌学者 数字图书馆 F.谢里丹。 使用输出比较对C99编译器进行实际测试。 软件:实践与经验 , 37(14):1475--1488, 2007. 谷歌学者 数字图书馆 Q.Tao、W.Wu、C.Zhao和W.Shen。 一种基于变形测试技术的编译器自动测试方法。 在 第17届亚太软件工程会议记录 ,第270-279页。 IEEE,2010年。 谷歌学者 数字图书馆 J.维恩。 关于命题和推理的图解和机械表示。 伦敦、爱丁堡和都柏林哲学杂志和科学杂志 , 10(59):1--18, 1880. 谷歌学者 交叉引用 X.Yang、Y.Chen、E.Eide和J.Regehr。 发现并理解C编译器中的错误。 在 第32届程序设计语言设计与实现会议记录 ,第283-294页,2011年。 谷歌学者 数字图书馆 T.吉川、K.Shimura和T.Ozawa。 Java JIT编译器测试系统的随机程序生成器。 在 第三届国际质量软件会议记录 ,第20-23页。 IEEE,2003年。 谷歌学者 数字图书馆 C.Zhao、Y.Xue、Q.Tao、L.Guo和Z.Wang。 工业优化编译器的自动测试程序生成。 在 软件测试自动化ICSE研讨会 ,第36-43页。 IEEE,2009年。 谷歌学者 G.Zhu、L.Xie和Z.Sun。 Nuapc:一个用于c++的并行编译器。 计算机科学与技术杂志 , 12(5):458--469, 1997. 谷歌学者 交叉引用
建议
随机测试技术的实证分析与比较 ISESE’06:2006 ACM/IEEE经验软件工程国际研讨会论文集 使用随机生成的测试输入进行测试,即随机测试,是一种在许多情况下都已成功应用的策略。 最近,人们提出了一些新的自适应测试用例随机生成方法。 然而有。。。 基于用户会话的Web应用程序测试中测试套件缩减技术的实证比较 ICSM’05:第21届IEEE软件维护国际会议记录 为了提供可靠、安全和可用的web应用程序,需要具有成本效益的自动化测试策略。 当软件维护者更新应用程序时,测试用例必须准确地反映使用情况,以暴露用户最可能出现的错误。。。