Test Model Coverage Analysis under Uncertainty

I. S. W. B. Prasetya, Rick Klomp

In model-based testing (MBT) we may have to deal with a non-deterministic model, e.g. because abstraction was applied, or because the software under test itself is non-deterministi…