PrOCov: Probabilistic output coverage model | IEEE Conference Publication | IEEE Xplore