Comparison of fault classes in specification-based testing.

Vadim Okun Paul E. Black Yaacov Yesha

Published in: Inf. Softw. Technol. (2004)

Keyphrases

test case generation
neural network
fault diagnosis
formal verification
decision making
fault detection
specification language
database
high level
expert systems
class labels
formal specification
real time embedded systems