Test conditions for fault classes in Boolean specifications.

Kalpesh Kapoor Jonathan P. Bowen

Published in: ACM Trans. Softw. Eng. Methodol. (2007)

Keyphrases

sufficient conditions
information retrieval
fault diagnosis
real valued
environmental conditions
neural network
test cases
fault detection
control flow
data sets
formal specification
operational semantics
diagnostic tests