Skip to content
STIMSMITH

STTVC

Tool
First seen 5/31/2026
Last seen 6/5/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

10 connections
STCS uses → 100% 4e
STTVC uses the STCS solver library to generate test vectors.
control flow graph uses → 100% 3e
STTVC analyzes the control flow graph to enumerate paths for test generation.
Instruction Set Simulator evaluates → 100% 3e
STTVC generates test vectors to evaluate and validate Instruction Set Simulators.
Code-based Test Generation for Validation of Functional Processor Descriptions ← introduces 100% 3e
The paper introduces the STTVC tool for test vector construction.
path coverage criterion uses → 100% 2e
STTVC uses path coverage criterion as its test generation strategy.
path enumeration uses → 100% 2e
STTVC enumerates all paths of the control flow graph to generate test vectors.
functional processor description evaluates → 95% 2e
STTVC evaluates functional processor descriptions to generate test vectors
code-based test generation implements → 100% 2e
STTVC implements the code-based test generation methodology.
static analysis uses → 100% 2e
STTVC employs static analysis to analyze the control flow of the input description.
STM7 micro-controller evaluates → 100% 1e
STTVC was evaluated on the STM7 micro-controller as a case study.