Java Ranger at SV-COMP 2020 (Competition Contribution) (original) (raw)
Related papers
JPF–SE: A Symbolic Execution Extension to Java PathFinder
Springer eBooks, 2007
Harissa: A hybrid approach to Java execution
IEEE Software, 1999
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
Electronic Notes in Theoretical Computer Science, 2005
Efficient and formal generalized symbolic execution
Automated Software Engineering, 2011
Context-sensitive trace inlining for Java
Computer Languages, Systems & Structures, 2013
Quicksilver: a quasi-static compiler for Java
2000
Marmot: an optimizing compiler for Java
Software: Practice and Experience, 2000
Exploiting program dependencies for scalable multiple-path symbolic execution
… of the 19th international symposium on …, 2010
Soot-a Java bytecode optimization framework
1999
Performance measurement of dynamically compiled Java executions
Concurrency: Practice and Experience, 2000
Symbolic execution with abstraction
International Journal on Software Tools for Technology Transfer, 2008
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
Lecture Notes in Computer Science, 2020
Partial escape analysis and scalar replacement for Java
2014
The Jalapeño dynamic optimizing compiler for Java
Proceedings of the ACM 1999 conference on Java Grande - JAVA '99, 1999
Run-Time Support for the Automatic Parallelization of Java Programs
The Journal of Supercomputing, 2004
Kex: A Platform For Analysis Of JVM Programs
Information and Control Systems
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design, 2004
Optimizing Java bytecode using the Soot framework: Is it feasible?
2000
Automatic feedback-directed object inlining in the java hotspot™ virtual machine
Proceedings of the 3rd international conference on Virtual execution environments - VEE '07, 2007
Directed incremental symbolic execution
Proceedings of the 32nd …, 2011
Generalizing symbolic execution to library classes
ACM Sigsoft Software Engineering Notes, 2006
Redundant State Detection for Dynamic Symbolic Execution
A Dynamic Binary Translator in a Java Environment
TracerX: Dynamic Symbolic Execution with Interpolation
2020
A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software
2001
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization
2013
Efficient JavaVM just-in-time compilation
Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192)
sEc: A portable interpreter optimizing technique for embedded Java virtual machine
Usenix Java Virtual Machine …, 2002