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