首页> 外文OA文献 >Generating Test Suites with Augmented Dynamic Symbolic Execution

【2h】

Generating Test Suites with Augmented Dynamic Symbolic Execution

机译：使用增强动态符号执行生成测试套件

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Konrad Jamrozik; Gordon Fraser; Nikolai Tillman; Jonathan De Halleux;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution [J] . J. Prelgauskas, E. Bareisa Electronics and Electrical Engineering . 2012,第6a122期

机译：使用组合动态符号执行的浮点嵌入式软件的单元测试
2. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution [J] . J. Prelgauskas, E. Bareisa Electronics and Electrical Engineering . 2012,第6a122期

机译：使用组成动态符号执行生成浮点嵌入式软件的单元测试
3. Generating test sequences using symbolic execution for event-driven real-time systems [J] . Nam Hee Lee, Sung Deok Cha Microprocessors and microsystems . 2003,第10期

机译：使用符号执行为事件驱动的实时系统生成测试序列
4. Generating Test Suites with Augmented Dynamic Symbolic Execution [C] . Konrad Jamrozik, Gordon Eraser, Nikolai Tillman, Tests and proofs . 2013

机译：生成具有增强动态符号执行功能的测试套件
5. An empirical study of test suites in practice against test suites generated by dynamic symbolic execution. [D] . Tanofsky, Philip. 2014

机译：对测试套件在实践中针对由动态符号执行生成的测试套件的实证研究。
6. Barostat or Dynamic Balloon Distention Test: Which Technique is Best Suited for Esophageal Sensory Testing? [O] . Jose M. Remes-Troche, Ashok Attaluri, Premjit Chahal, -1

机译：恒压器或动态球囊扩张测试：哪种技术最适合食道感觉测试？
7. Improving Search-based Test Suite Generation with Dynamic Symbolic Execution [O] . Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri 2013

机译：使用动态符号执行改进基于搜索的测试套件生成

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号