Model-Based Generation

Technique

First seen 6/22/2026

Last seen 6/22/2026

Evidence 4 chunks

NEIGHBORHOOD

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

7 connections

SMV uses → 90% 1e

SMV is used in a model-based generation method to produce test cases.

Model-based generation uses microarchitectural models of microprocessors.

fault model uses → 90% 1e

Model-based generation uses fault models to describe typical errors.

A model-based approach uses operation state machines to model microprocessors.

Model-based generation uses EFSMs to model pipeline behavior.

Pipeline Model uses → 90% 1e

Model-based generation uses pipeline models in its approach.

The paper discusses model-based generation as one of the test generation techniques.