Skip to content
STIMSMITH

linear programming for test generation

Technique
First seen 6/16/2026
Last seen 6/16/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

1 connections
Micro-processor verification using a C++11 sequence-based stimulus engine ← mentions 100% 1e
The paper mentions linear programming as one approach for generating test programs.