Skip to content
STIMSMITH

Concolic Testing

Technique
First seen 5/29/2026
Last seen 8/25/2026
Evidence 9 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

10 connections
control flow graph uses → 95% 1e
Concolic testing generates test sequences by analyzing the control flow graph of RTL designs.
RTL uses → 95% 1e
Concolic testing analyzes RTL designs to generate effective test sequences.
DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification ← compares with 85% 1e
The paper discusses concolic testing as a competing semi-formal method for test generation.
Processor Verification using Symbolic Execution: A RISC-V Case-Study ← mentions 85% 1e
The paper mentions concolic testing on RTL models as related work.
LLM4DV ← mentions 93% 1e
The paper mentions concolic testing as a prior approach to test generation in hardware verification.
RVX ← implements 100% 1e
RVX is a tool for concolic testing of embedded binaries targeting RISC-V platforms
Advanced Virtual Prototyping for Cyber-Physical Systems Using RISC-V ← uses 100% 1e
The paper presents concolic testing as one of the VP-based verification approaches
Symbolic Execution uses → 100% 1e
Concolic testing tracks symbolic constraints on top of concrete execution
RISC-V VP ← uses 100% 1e
The RISC-V VP is used as execution engine for concolic testing of embedded SW
Coverage-Guided Fuzzing (CGF) compares with → 90% 1e
CGF is presented as a scalable complement to concolic testing