@dblp

Abstraction Techniques for Validation Coverage Analysis and Test Generation.

, , and . IEEE Trans. Computers, 47 (1): 2-14 (1998)

Links and resources

Tags