Randomised testing of a microprocessor model using SMT-solver state generation.

Brian Campbell Ian Stark

Published in: Sci. Comput. Program. (2016)

Keyphrases

formal model
computational model
mathematical model
parameter estimation
theoretical framework
state variables
generation process
genetic algorithm
theoretical analysis
state transitions