Acceptance testing of expert systems: issues of verification and validation.

Published in: ACM Conference on Computer Science (1988)

Keyphrases

expert systems
formal verification
test generation
key issues
fingerprint verification
information systems
knowledge based systems
database
software testing
test cases
symbolic execution
verification method
knowledge engineering
intelligent systems
knowledge acquisition
bayesian networks
case study
real time