Sign in
Bayesian theory based software reliability demonstration test method for safety critical software.
Yumei Wu
Risheng Yang
Haifeng Li
Minyan Lu
Published in:
Math. Struct. Comput. Sci. (2014)
Keyphrases
</>
software reliability
artificial intelligence
test data
software testing
test cases
safety critical
correlation coefficient
machine learning
artificial neural networks
optimization algorithm
basis functions
fault tolerant
bp neural network
formal methods