U. J. Davé, Janak H. Patel
A Functional-Level Test Generation Methodology Using Two-level Representations
DAC, 1989.
@inproceedings{DAC-1989-DaveP,
author = "U. J. Davé and Janak H. Patel",
booktitle = "{Proceedings of the 26th Design Automation Conference}",
doi = "10.1145/74382.74513",
pages = "722--725",
publisher = "{ACM Press}",
title = "{A Functional-Level Test Generation Methodology Using Two-level Representations}",
year = 1989,
}