Dynamic symbolic execution for polymorphism
No abstract available.
Related papers
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution) TACAS 2024
- Symbolic types for lenient symbolic execution POPL 2018
- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) TACAS 2022
- A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson ECOOP 2024
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- Sound regular expression semantics for dynamic symbolic execution of JavaScript PLDI 2019
- Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution OOPSLA 2026