Software fault trees and weakest preconditions: a comparison and analysis.

Steven J. Clarke John Alexander McDermid

Published in: Softw. Eng. J. (1993)

Keyphrases

data analysis
database
data sets
information retrieval
statistical analysis
quantitative analysis
explanation based learning
neural network
search engine
open source
tree structure
static analysis
software package