首页> 外文OA文献 >JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)

【2h】

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)

机译：JDART：Java字节码（竞争贡献）的动态符号执行

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Malte Mues; Falk Howar;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis [J] . Corina S. Pasareanu, Willem Visser, David Bushnell, Automated software engineering . 2013,第3期

机译：Symbolic PathFinder：将符号执行与模型检查集成在一起，以进行Java字节码分析
2. PicoJava: a direct execution engine for Java bytecode [J] . McGhan H., OConnor M. Computer . 1998,第10期

机译：PicoJava：Java字节码的直接执行引擎
3. Identifying Processor Bottlenecks in Virtual Machine Based Execution of Java Bytecode [J] . Pradeep RAO, Kazuaki MURAKAMI IEICE Transactions on Electronics . 2009,第10期

机译：识别基于虚拟机的Java字节码执行中的处理器瓶颈
4. JDART: Dynamic Symbolic Execution for JAVA Bytecode (Competition Contribution) [C] . Malte Mues, Falk Howar European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems . 2020

机译：JDART：JAVA字节码的动态符号执行（竞争贡献）
5. Information flow analysis and enforcement in Java bytecode [D] . Chandra, Deepak. 2006

机译：Java字节码中的信息流分析和实施
6. Contribution of LFP dynamics to single-neuron spiking variability in motor cortex during movement execution [O] . Michael E. Rule, Carlos Vargas-Irwin, John P. Donoghue, 2015

机译：运动执行过程中LFP动力学对运动皮层单神经元突增变化的贡献
7. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) [O] . Slabý Jiří, Strejček Jan, Trtík Marek 2013

机译：共生：仪器，切片和符号执行的协同作用-（竞争贡献）

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)

著录项

引文网络

相似文献

相关主题

期刊订阅