Projects in Awesome Lists tagged with concolic-testing
A curated list of projects in awesome lists tagged with concolic-testing .
https://github.com/softsec-kaist/eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
concolic-testing fsharp fuzzer fuzzing testcase-generator
Last synced: 11 Apr 2025
https://github.com/SoftSec-KAIST/Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
concolic-testing fsharp fuzzer fuzzing testcase-generator
Last synced: 19 Apr 2025
https://github.com/agra-uni-bremen/symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
concolic-execution concolic-testing klee risc-v riscv riscv32 symbolic-execution systemc
Last synced: 20 Jan 2026
https://github.com/ajalab/congo
A Concolic Test Generation Framework for Go
concolic-testing go test-generation
Last synced: 03 Jul 2025
https://github.com/agra-uni-bremen/clover
A library for concolic execution of RV32 instruction set simulators
concolic-testing klee risc-v symbolic-execution
Last synced: 20 Jan 2026
https://github.com/agra-uni-bremen/sisl
Scheme-based Input Specification language for Concolic Testing
concolic-execution concolic-testing r7rs r7rs-scheme symbolic-execution
Last synced: 20 Jan 2026
https://github.com/leduyquang753/concolic-ts
Automatic unit test data generation for TypeScript using concolic method.
concolic-testing typescript unit-testing
Last synced: 23 Jul 2025
