A probabilistic analysis of coverage methods

Laurent Fournier, Avi Ziv, Ekaterina Kutsy, Ofer Strichman. A probabilistic analysis of coverage methods. ACM Trans. Design Autom. Electr. Syst., 16(4):38, 2011. [doi]

Abstract

Abstract is missing.