Automatic Revision of Formal Test Procedures.

Published in: ICSE (1978)

Keyphrases

knowledge base
data driven
neural network
fully automatic
formal model
bayesian networks
semi automatic
computer vision
image processing
database systems
expert systems
domain knowledge
belief revision
belief change
formal methods