Karl J. Lieberherr;Stephen A. Vavasis
-;-
Parameterized random testing
DAC '84 Proceedings of the 21st Design Automation Conference