V&A; III: verification and validation without independence: a recipe for failure.

James D. Arthur Richard E. Nance

Published in: WSC (2000)

Keyphrases

model checking
root cause
failure prediction
formal analysis
highly reliable
database
data mining
machine learning
artificial neural networks
face verification
failure rate
success or failure
verification method
failure detection
functional verification