zbMATH中的参考文献（引用于19篇文章，1标准件)

1. Gerhold，Marcus；Stoelinga，Mariëlle:基于模型的概率系统测试（2018）
2. Paiva，Sofia Costa；Simao，Adenilso：从Mealy输入/输出转换系统生成完整的测试套件（2016年）
3. Aarts，Fides；Kuppens，Harco；Tretmans，Jan；Vaandrager，Frits；Verwer，Sicco:改进协议一致性测试的主动Mealy机器学习（2014）
4. Bouquet，Fabrice；Peureux，Fabien；Ambert，Fabrice：功能和安全测试生成的基于模型的测试（2014）
5. Brucker，Achim D.；Wolff，Burkhart:基于定理证明的测试（2013）
6. Asaadi，Hamid Reza；Khosravi，Ramtin；Mousavi，Mohammadeza；Noroozi，Neda：面向基于模型的电子资金转移系统测试（2012）ioport公司
7. 切多，Sébastien；Jéron，Thierry；Morvan，Christophe:recursive tiles系统的测试生成（2012）
8. Yang，Linmin；Dang，Zhe；Fischer，Thomas R.：黑盒测试的信息增益（2011）
9. Belinfante，Axel:JTorX：一个在线模型驱动的测试衍生和执行工具（2010）ioport公司
10. Kuliamin，V.V.：基于模型的测试环境的组件体系结构（2010）ioport公司
11. von Styp，Sabrina；Bohnenkamp，Henrik；Schmaltz，Julien：符号时间自动机的一致性测试关系（2010）
12. Schmaltz，Julien；Tretmans，Jan:时间系统的一致性测试（2008）
13. Calamé，Jens R.；Ioustinova，Natalia；van de Pol，Jaco:使用数据抽象自动生成基于模型的参数化测试用例（2007）ioport公司
14. Veanes，Margus；Campbell，Colin；Schulte，Wolfram:模型程序的组成（2007）
15. 布拉斯，安德烈亚斯；古列维奇，尤里；纳奇曼森，列夫；韦恩斯，马格斯：玩到测试（2006）
16. 谢高燕；党哲：并发黑盒测试系统——自动机理论与分解方法（2006）
17. Bohnenkamp，Henrik；Belinfante，Axel:用TorX进行定时测试（2005）
18. Briones，Laura Brandán；Brinksma，Ed:静态实时系统的测试生成框架（2005）
19. Frantzen，Lars；Tretmans，Jan；Willemse，Tim A.C.：基于符号规范的测试生成（2005）