@dblp

A Functional-Level Test Generation Methodology Using Two-level Representations.

, and . DAC, page 722-725. ACM Press, (1989)

Links and resources

Tags