zbMATH中的参考文献（参考文献121篇)

1. Pham，长H。；乐广路；潘，群生；孙军；秦胜超：使用分离逻辑增强堆程序的符号执行以生成测试输入（2019）
2. 丹尼斯，路易丝A。；费舍尔，迈克尔；韦伯斯特，马特：两阶段代理程序验证（2018）
3. 哥德弗洛德，帕特里斯；Sen，Koushik:结合模型检查和测试（2018）
4. 古斯穆勒，马里恩；科罗娜，加布里埃尔；Quinson，Martin:遗留分布式应用正式动态验证的系统级状态平等检测（2018）
5. 克努佩尔，亚历山大；图姆，托马斯；帕迪拉，卡斯滕·伊曼纽尔；Schaefer，Ina:理解演绎验证的参数：key的实证调查（2018）
6. 劳科，亨利克；罗查凯，彼得；Barnat，Jiří：通过程序转换进行符号计算（2018）
7. 简契克，帕维尔；Kofroň，一月：关于部分状态匹配（2017）
8. 梅斯纳德，弗雷德；Payet，Étienne；Vidal，Germanán:逻辑编程中的复合测试（2015）
9. 卡达尔，伊斯特万；黑格德斯佩特；费伦茨，鲁道夫：《使用符号执行的Java程序运行时异常检测》（2014）
10. 萨博，克萨巴；科图尔，马罗什；Petruš，Richard：《使用符号执行的软件重构》（2014）
11. 贝克特，伯恩哈德；Klebanov，Vladimir:多线程程序演绎验证的动态逻辑（2013）
12. 拜尔，德克；霍尔泽，安德烈亚斯；陶奇尼，迈克尔；维思，赫尔穆特：多目标可达性分析的信息重用（2013）
13. 布劳尔，约格；国王，安迪；Kowalewski，Stefan:微控制器代码的抽象解释：间隔满足一致性（2013）
14. 布鲁克，阿希姆D。；Wolff，Burkhart:基于定理证明的测试（2013）
15. 格里戈里奇，米洛斯；Majumdar，Rupak:模型检查数据库应用（2013）
16. Löwe，Stefan:基于CEGAR和插值的显式值分析Cpachecker。（竞争贡献）（2013年）ioport公司
17. 佩纳，胡安一世。；乔治，克里斯：模型检查提高应用规范（2013）
18. 波奇，汤姆š；ý，Ondřej；普劳希尔、弗兰蒂舍克；线程行为（2013年1月）
19. 克里斯塔基斯，玛丽亚；米勒，彼得；Wüstholz，Valentin：《明确假设下的协同验证与测试》（2012）
20. 金，月亮动物园；金，云浩；Choi，Yunja:flash存储平台软件多扇区读取操作的协同测试（2012）ioport公司