Michael George Luby
-
Parameterized random testing
DAC '84 Proceedings of the 21st Design Automation Conference