On Oracles for Interpreting Test Results against Algebraic Specifications.

Patrícia D. L. Machado

Published in: AMAST (1998)

Keyphrases

test cases
test data
artificial intelligence
social networks
data structure
programming language
software testing
linear algebra
control flow
written in natural language