Karl J. Lieberherr
Parameterized random testing
DAC, 1984.
@inproceedings{DAC-1984-Lieberherr84a, acmid = "800847", author = "Karl J. Lieberherr", booktitle = "{Proceedings of the 21st Design Automation Conference}", isbn = "0-8186-0542-1", pages = "510--516", publisher = "{ACM/IEEE}", title = "{Parameterized random testing}", year = 1984, }