摘要
P.Abdulla、S.Aronis、B.Jonsson和K.F.Sagonas。 最优动态部分降阶。 程序中。 POPL'14，第373–384页。 ACM，2014年。 谷歌学者 
数字图书馆 
E.Albert、P.Arenas和M.G´omez-Zamalloa。 测试中删减冗余状态探索的参与者和任务选择策略。 程序中。 2014年，LNCS 8461，第49-65页。 斯普林格，2014年。 谷歌学者 E.Albert、P.Arenas、M.G´omez-Zamalloa和P.Y.H.Wong。 aPET：并发对象的测试用例生成工具。 程序中。 ESEC/FSE’13，第595-598页。 ACM，2013年。 谷歌学者 数字图书馆 E.Albert、M.G´omez-Zamalloa和M.Isabel。 结合静态分析和死锁检测测试。 技术报告，2015年。 谷歌学者 S.Aronis和K.Sagonas。 Concuerror：Erlang程序的系统并发测试。 谷歌学者 A.Flores-Montoya、E.Albert和S.Genaim。 基于May-Happen-Parallel的并发对象死锁分析。 在13号堡，LNCS 7892，第273-288页。 施普林格，2013年。 谷歌学者 S.Genaim和J.Doménech。 《EasyInterface框架》，2015年。 http://github.com/abstools/esyinterface。 谷歌学者 E.B.约翰森、R.Hähnle、J.Schäfer、R.Schlatte和M.Steffen。 ABS：抽象行为规范的核心语言。 程序中。 FMCO’10，LNCS 6957，第142-164页。 施普林格，2012年。 谷歌学者 数字图书馆 M.Musuvathi和S.Qadeer。 使用CHESS进行并发单元测试。 技术报告MSR-TR-2008-04，Microsoft Research，2008年1月。 谷歌学者 D.Marinov G.Agha S.Lauterburg，R.K.Karmani。 Basset：演员节目系统测试工具。 在2010年FSE会议记录中，第363–364页。 ACM，2010年。 谷歌学者 数字图书馆
建议
aPET：并发对象的测试用例生成工具 ESEC/FSE 2013：2013年第九届软件工程基础联席会议记录 我们介绍了aPET的概念、用法和原型实现，aPET是基于并发对象的分布式异步语言的测试用例生成工具。 该系统接收一个程序作为输入，选择要测试的方法，以及一个。。。 多线程程序系统测试的迭代上下文边界 PLDI’07：第28届ACM SIGPLAN编程语言设计与实现会议记录 由于并发执行线程之间的意外交互，多线程程序很难正确运行。 传统的测试方法不足以捕捉到细微的并发错误，这些错误在测试后期就表现出来了。。。
