Skip to content
STIMSMITH

code-based test generation

Technique
First seen 6/3/2026
Last seen 6/3/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
STTVC ← implements 100% 2e
STTVC implements the code-based test generation methodology.
The paper presents a code-based test generation approach for microprocessor functional models.
The paper employs code-based test generation as its main methodology.
control flow graph uses → 100% 1e
Code-based test generation uses control flow graphs to enumerate paths.
Constraint Satisfaction Problem uses → 100% 1e
Code-based test generation formulates test vector generation as a constraint satisfaction problem.
Test Vector Generation implements → 100% 1e
Code-based test generation implements the process of generating test vectors from processor descriptions.
path coverage criterion uses → 100% 1e
Code-based test generation uses path coverage criterion as the test quality metric.