Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation.

Brian Campbell Ian Stark

Published in: FMICS (2014)

Keyphrases

management system
computational model
high level
probability distribution
statistical model
formal model
decision trees
objective function
prior knowledge
software development
experimental data
statistical models