C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deriving Test Sets from Partial Proofs.
Guillaume Lussier
Hélène Waeselynck
Published in:
ISSRE (2004)
Keyphrases
</>
test set
error rate
training set
test data
training data
test cases
theorem proving
evaluation methodology
data sets
confidence intervals
neural network
object oriented
training and test sets