Coverage Driven Distribution of Constrained Random Stimuli Author(s): Raz Azaria, Amit Metodi, and Marat Teplitsky
