Concurrent Test Generation Using Concolic Multi-trace Analysis
Abstract elided by the publisher.
Related papers
- COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) TACAS 2020
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Model Checking Concurrent Programs VMCAI 2009
- Concolic Execution for WebAssembly ECOOP 2022
- Abstraction-driven Concolic Testing VMCAI 2016
- Efficient concolic testing of MPI applications CC 2019
- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools CAV 2006