A methodology for testing concurrent Ada programs.

Kuo-Chung Tai Richard H. Carver Evelyn E. Obaid

Published in: WADAS (1987)

Keyphrases

concurrent programs
symbolic execution
machine learning
design methodology
neural network
knowledge base
business processes
test generation
model based testing
concurrent programming