JDart: A Dynamic Symbolic Analysis Framework
Abstract elided by the publisher.
Related papers
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- Symbolic Analysis for Parallelizing Compilers TOPLAS 1996
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies TOPLAS 2007
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions TOPLAS 2005