首页> 外文OA文献 >Fitness-Guided Path Exploration in Dynamic Symbolic Execution

【2h】

Fitness-Guided Path Exploration in Dynamic Symbolic Execution

机译：动态符号执行中的健身指导路径探索

页面导航

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

著录项

作者
Tao Xie; Nikolai Tillmann; Jonathan Halleux; Wolfram Schulte;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Infeasible path generalization in dynamic symbolic execution [J] . Mickaeel Delahaye, Bernard Botella, Arnaud Gotlieb Information and software technology . 2015,第feba期

机译：动态符号执行中不可行的路径概括
2. Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis [J] . Djemai Kebbal, Pascal Sainrat OASIcs : OpenAccess Series in Informatics . 2006,第1期

机译：在最坏情况下执行时间分析中结合符号执行和路径枚举
3. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution [J] . Yang Song, Xuzhou Zhang, Yun-Zhan Gong Mathematical Problems in Engineering: Theory, Methods and Applications . 2020,第1期

机译：基于代码模式和向后符号执行的不可行路径检测
4. Fitness-guided path exploration in dynamic symbolic execution [C] . IEEE/IFIP International Conference on Dependable Systems Networks . 2009

机译：动态象征性执行中的健身导向路径探索
5. Context and Precondition-Guided Search strategies in dynamic symbolic execution. [D] . Seo, Hyunmin. 2015

机译：动态符号执行中的上下文和前提条件搜索策略。
6. A dynamical systems perspective on the relationship between symbolic and non-symbolic computation [O] . Whitney Tabor 2009

机译：关于符号和非符号计算之间关系的动力学系统观点
7. Graph based Binary Code Execution Path Exploration Platform for Dynamic Symbolic Execution* [O] . Byeongho Kang, Eul Gyu Im 2016

机译：基于图形的二进制代码执行路径探索平台，用于动态符号执行*

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号