On the Adequacy of Deriving Hardware Test Data from the Behavioral Specification.

Ghassan Al Hayek Chantal Robach

Published in: EUROMICRO (1996)

Keyphrases

test data
test cases
training data
test set
training set
data sets
training and test data
database
search based testing
formal specification
machine learning
text categorization
training samples
text classification
supervised learning
software testing
object oriented