Approaches to Specification-Based Testing.

Debra J. Richardson T. Owen O'Malley C. Tittle

Published in: Symposium on Testing, Analysis, and Verification (1989)

Keyphrases

case study
real time
test set
alternative approaches
neural network
data mining
genetic algorithm
high level
strengths and weaknesses
specification language
formal verification