Model-based testing of stochastic systems with IOCO theory.

Marcus Gerhold Mariëlle Stoelinga

Published in: A-TEST@SIGSOFT FSE (2016)

Keyphrases

stochastic systems
model based testing
software development
test cases
sample path
stochastic models
markov random field
error rate
test set