CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
Abstract elided by the publisher.
Related papers
- Abstraction-driven Concolic Testing VMCAI 2016
- Interpreter-guided differential JIT compiler unit testing PLDI 2022
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- LLMC: Verifying High-Performance Software CAV 2021
- CUTECat: Concolic Execution for Computational Law ESOP 2025
- AutoHyper: Explicit-State Model Checking for HyperLTL TACAS 2023
- Concolic program repair PLDI 2021
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012