C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Exhaustive test sets for algebraic specifications.
Marc Aiguier
Agnès Arnould
Pascale Le Gall
Delphine Longuet
Published in:
Softw. Test. Verification Reliab. (2016)
Keyphrases
</>
test set
error rate
training set
evaluation methodology
test data
training data
delay insensitive
test cases
formal specification
image processing
high level
written in natural language
database
algebraic structure
specification language
higher order
information extraction
data sets