Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification.
Rüdiger EhlersJörg GrieserChristoph KniekeAndreas RauschMirco SchindlerPublished in: SE/SWM (2019)
Keyphrases
- quality assurance
- formal verification
- learned models
- domain knowledge
- quality control
- model checking
- training data
- generative model
- model checker
- monitoring system
- learning algorithm
- automated verification
- software development
- bounded model checking
- symbolic model checking
- quality assessment
- prior knowledge
- software quality
- white box testing
- classification models
- artificial intelligence
- data sets
- metadata creation
- database
- machine vision
- test set
- software testing
- open source
- pairwise
- training set
- case study
- information systems
- real world