On the Use of Specification-Based Assertions as Test Oracles.

David Coppit Jennifer M. Haddox-Schatz

Published in: SEW (2005)

Keyphrases

test cases
databases
test data
test case generation
data sets
neural network
high level
specification language
database
feature selection
three dimensional
similarity measure
active learning
formal methods
formal verification