Refactoring design models for inductive verification.

Published in: ISSTA (2002)

Keyphrases

probabilistic model
case study
statistical models
metamodel
design choices
genetic algorithm
user interface
knowledge based systems
complex systems
statistical model
inductive learning
functional verification