Abstraction Techniques for Validation Coverage Analysis and Test Generation.

Dinos Moundanos Jacob A. Abraham Yatin Vasant Hoskote

Published in: IEEE Trans. Computers (1998)

Keyphrases

test generation
test cases
high level
data analysis
static analysis
code coverage
learning algorithm
symbolic execution