The derivation of microcode by symbolic execution.

John Wade Ulrich

Published in: MICRO (1980)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
open source
genetic algorithm
decision trees