B model slicing and predicate abstraction to generate tests.

Jacques Julliand Nicolas Stouls Pierre-Christophe Bué Pierre-Alain Masson

Published in: Softw. Qual. J. (2013)

Keyphrases

high level
computational model
objective function
prior knowledge
cost function
probabilistic model
probability distribution
parameter estimation
statistical model
linear model
database
formal model
simulation model
test data
markov chain
similarity measure
genetic algorithm