Theory of Fault-Based Predicate Testing for Computer Programs.

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

computer programs
programming language
fault diagnosis
expert systems
turing test
cooperative
intelligent agents
computer programming
software agents
theoretical framework
real time embedded systems
horn clauses
first order logic
database
test cases
knowledge acquisition
neural network