首页> 外文OA文献 >Similar Execution Path Generation Based on Backward Symbolic Analysis

【2h】

Similar Execution Path Generation Based on Backward Symbolic Analysis

机译：基于后向符号分析的类似执行路径生成

页面导航

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

著录项

作者
Xi Guo; Jianyong Wang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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期

机译：基于代码模式和向后符号执行的不可行路径检测
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. Symbolic execution based test-patterns generation algorithm for hardware Trojan detection [J] . Shen Lixiang, Mu Dejun, Cao Guo, Computers & Security . 2018,第sepa期

机译：基于符号执行的测试模式生成算法用于硬件木马检测
4. Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting [C] . Mihai Liča Pura, Luciana Morogan, Didier Buchs International Conference on Communications . 2016

机译：在基于术语重写的符号模型检查中通过反向状态空间遍历来生成反示例的路径
5. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code [D] . Islam, Mainul. 2015

机译：自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
6. PATH-40. STANDARDIZED MOLECULAR ANALYSIS OF PRIMARY CENTRAL NERVOUS SYSTEM (CNS) TUMORS IN A RESEARCH BASED CLINICAL PRACTICE. AN INTRODUCTION TO THE PRIMARY CNS TUMOR NEXT GENERATION SEQUENCING (NGS) PANEL [O] . Christine Siegel, Terri Armstrong, Hye-Jung Chung, 2017

机译：路径40。在基于研究的临床实践中对原发性中枢神经系统（CNS）肿瘤进行标准化的分子分析。主要的CNS肿瘤下一代测序（NGS）面板简介
7. A test data generation method based on the symbolic execution of the dangerous path [O] . Yongdang Meng 2016

机译：一种基于危险路径符号执行的测试数据生成方法

Similar Execution Path Generation Based on Backward Symbolic Analysis

著录项

引文网络

相似文献

相关主题

期刊订阅