KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
Abstract elided by the publisher.
Related papers
- JaVerT 2.0: compositional symbolic execution for JavaScript POPL 2019
- Map2Check Using LLVM and KLEE - (Competition Contribution) TACAS 2018
- Efficient state merging in symbolic execution PLDI 2012
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- Concolic Execution for WebAssembly ECOOP 2022
- STG: A Symbolic Test Generation Tool TACAS 2002
- Sound regular expression semantics for dynamic symbolic execution of JavaScript PLDI 2019
- Generalized Symbolic Execution for Model Checking and Testing TACAS 2003