Skip to content
STIMSMITH
browse
graph
search
about
⚄
/
Cmd-K to search
LIGHT
CODEX
SCOPE
≡
stimsmith
/
search
QUERY
KIND
ALL
Tool
Paper
Technique
Org
Person
ISA
Concept
filters
search
10 results
00
Test Program Generation for a Microprocessor: A Case-Study
Paper
Paper
01
test program generation
Concept
Concept
02
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification
Paper
Paper
03
Model-Based Test Program Generation
Technique
Technique
04
Random Test Program Generation
Technique
Technique
05
Adaptive Test Program Generation: Planning for the Unplanned
Paper
Paper
06
Using Constraint Satisfaction Formulations and Solution Techniques for Random Test Program Generation
Paper
Paper
07
Test Program Generation for Functional Verification of PowerPC Processors in IBM
Paper
Paper
08
assembly test program generation
Concept
Concept
09
functional test program generation
Concept
Concept