Increasing Software Reliability by Integrating Formal Verification and Robustness Testing.
Stefan HusterMerdin MacicSebastian BurgHanno EichelbergerPatrick HeckelerJürgen RufThomas KropfWolfgang RosenstielPublished in: MBMV (2014)
Keyphrases
- formal verification
- software reliability
- software testing
- model checking
- model checker
- prediction model
- bounded model checking
- automated verification
- symbolic model checking
- root mean square error
- test cases
- wavelet neural network
- temporal logic
- genetic algorithm
- formal specification
- bp neural network
- input output
- model selection
- multi objective
- case study