Test model coverage analysis under uncertainty: extended version. - Prasetya, I. S. W. B.; Klomp, Rick (Software & Systems Modeling, 2021)