C.A. Micchelli, W.L. Miranker
Journal of the ACM
Coverage directed test generation (CDG) is a technique for providing feedback from the coverage domain back to a generator that produces new stimuli to the tested design. In this paper, we describe two algorithms that act in a CDG framework. The first algorithm controls the coverage events distribution using a "water-filling" approach. The second algorithm improves the efficiency of the covering process using clustering techniques.
C.A. Micchelli, W.L. Miranker
Journal of the ACM
Saurabh Paul, Christos Boutsidis, et al.
JMLR
Joxan Jaffar
Journal of the ACM
Kenneth L. Clarkson, Elad Hazan, et al.
Journal of the ACM