An Experimental Evaluation of Specification Techniques for Improving Functional Testing.

Published in: J. Syst. Softw. (1996)

Keyphrases

experimental evaluation
formal verification
test case generation
high level
test cases
multiscale
formal specification
neural network
machine learning
information retrieval
decision making
bayesian networks
statistical tests
formal language