Formal testing from structured algebraic specifications: normalisationand the oracle problem.
Patrícia D. L. MachadoPublished in: RITA (2000)
Keyphrases
- formal specification
- mathematical theory
- reactive systems
- formal language
- requirements specification
- operational semantics
- database
- databases
- control flow
- software testing
- structured data
- oracle database
- formal verification
- artificial intelligence
- real world
- test data
- database design
- test cases
- specification language
- test set
- higher order
- high level
- microsoft sql server
- genetic algorithm
- neural network
- controlled natural language