PrOCov: Probabilistic output coverage model

Joel Ivan Munoz Quispe, Marius Strum, Wang Jiang Chau. PrOCov: Probabilistic output coverage model. In 14th Latin American Test Workshop, LATW 2013, Cordoba, Argentina, 3-5 April, 2013. pages 1-6, IEEE, 2013. [doi]

Abstract

Abstract is missing.