Ioco Theory for Probabilistic Automata

Marcus Gerhold, Mariëlle Stoelinga

Model-based testing (MBT) is a well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test…