zbMATH参考文献（参考 120篇文章

1. Pham，Long H.；Le，Quang-Loc；Phan，Quoc-Sang；Sun，Jun；Qin，Shengchao:使用分离逻辑增强基于堆的程序的符号执行，以生成测试输入（2019年）
2. Dennis，Louise A.；Fisher，Michael；Webster，Matt:两阶段代理程序验证（2018）
3. Godefrod，Patrice；Sen，Koushik:结合模型检查和测试（2018）
4. Guthmuller，Marion；Corona，Gabriel；Quinson，Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测（2018）
5. Alexander Knüppel；Thüm，Thomas；Pardylla，Carsten Immanuel；Schaefer，Ina:理解演绎验证的参数：对key的实证调查（2018）
6. 劳科，亨里希；罗凯，佩特；巴纳特，吉ří：通过程序转换的符号计算（2018）
7. Jančk，Pavel；Kofroň，Jan:关于部分状态匹配（2017）
8. Fred尥nedán编程（Fredèdïl，编程；Fred峎nel，2015；Germ峎in-logic）
9. Kádár，István；Hegedűs，Péter；Ferenc，Rudolf:Java程序中使用符号执行的运行时异常检测（2014）
10. Szabó，Csaba；Kotul，Maroš；Petruš，Richard：使用符号执行的软件重构的更深入研究（2014）
11. Beckert，Bernhard；Klebanov，Vladimir:多线程程序演绎验证的动态逻辑（2013）
12. Beyer，Dirk；Holzer，Andreas；Tautschnig，Michael；Veith，Helmut：用于多目标可达性分析的信息重用（2013）
13. Brauer，Jörg；King，Andy；Kowalewski，Stefan:微控制器代码的抽象解释：间隔满足一致性（2013）
14. Brucker，Achim D.；Wolff，Burkhart:基于定理证明的测试（2013）
15. Gligoric，Milos；Majumdar，Rupak:模型检查数据库应用（2013）
16. Löwe，Stefan:基于CEGAR和插值的显式值分析Cpachecker。（竞争贡献）（2013年）ioport公司
17. Perna，Juan I.；George，Chris:模型检查提升应用规范（2013）
18. Poch，Tomš；Нerý，Ondřej；Plšil，Františ；Kofroň，Jan:线程行为协议（2013）
19. Christakis，Maria；Müller，Peter；Wüstholz，Valentin：《明确假设下的协同验证和测试》（2012）
20. Kim，Moonzoo；Kim，Yunho；Choi，Yunja：闪存平台软件多扇区读取操作的联合测试（2012）ioport公司