The Rôle of Normalisation in Testing from Structured Algebraic Specifications.

Patrícia D. L. Machado

Published in: WADT (1999)

Keyphrases

structured data
high level
structured learning
test generation
test cases
code generation
test suite
delay insensitive
reactive systems
formal verification
linear algebra
software testing
databases
test set
bayesian networks
database systems
search engine
neural network