Login / Signup
Automatic Generation of Test Scripts from Formal Test Specifications.
Marc J. Balcer
William M. Hasling
Thomas J. Ostrand
Published in:
Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
</>
real world
neural network
data mining
information systems
object oriented
formal specification
statistical significance
real time
information retrieval
bayesian networks
artificial neural networks
software engineering
automatically generated
operational semantics