Abstraction Techniques for Validation Coverage Analysis and Test Generation.

Dinos Moundanos Jacob A. Abraham Yatin Vasant Hoskote Abstraction Techniques for Validation Coverage Analysis and Test Generation. 2-14 1998 47 IEEE Trans. Computers 1 db/journals/tc/tc47.html#MoundanosAH98