Skip to content
STIMSMITH

FSM Coverage-Directed Test Generation

Technique
First seen 7/3/2026
Last seen 7/3/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
Finite State Machine (FSM) Model uses → 100% 2e
FSM coverage-directed test generation relies on the FSM model for coverage metrics and test generation.
Model Checking for Test Generation uses → 90% 2e
The FSM coverage-directed test generation uses model checking to generate test programs from selected paths.
Specification-based Compaction of Directed Tests for Functional Validation of Pipelined Processors ← introduces 95% 2e
The paper introduces an FSM coverage-directed selection approach for test compaction and generation.
FSM State Coverage uses → 95% 1e
FSM coverage-directed test generation uses state coverage as a primary metric.
FSM Transition Coverage uses → 95% 1e
FSM coverage-directed test generation uses transition coverage as a primary metric.