Quantifying Software Reliability via Model-Counting.
Samuel TeuberAlexander WeiglPublished in: QEST (2021)
Keyphrases
- software reliability
- model counting
- weighted model counting
- knowledge compilation
- software testing
- prediction model
- polynomial size
- satisfiability testing
- wavelet neural network
- root mean square error
- bp neural network
- probabilistic inference
- test cases
- propositional logic
- databases
- software development
- neural network