JPF-SE: A Symbolic Execution Extension to Java PathFinder
No abstract available.
Related papers
- Java Pathfinder at SV-COMP 2019 (Competition Contribution) TACAS 2019
- Java Ranger at SV-COMP 2020 (Competition Contribution) TACAS 2020
- Symbolic Pathfinder for SV-COMP - (Competition Contribution) TACAS 2019
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- JPF: From 2003 to 2023 TACAS 2024
- Verification of MPI Java programs using software model checking PPoPP 2016
- Design, implementation, and application of GPU-based Java bytecode interpreters OOPSLA 2019
- SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution) TACAS 2024