Skip to content
STIMSMITH

path enumeration

Technique
First seen 5/31/2026
Last seen 6/3/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Code-based Test Generation for Validation of Functional Processor Descriptions ← uses 100% 4e
The paper uses path enumeration to generate one constraint store per path.
STTVC ← uses 100% 2e
STTVC enumerates all paths of the control flow graph to generate test vectors.
control flow graph uses → 93% 1e
Path enumeration uses the control flow graph to identify all paths
control flow vector uses → 93% 1e
Path enumeration uses the control flow vector to represent and generate paths