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

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