Verification and testing at run-time for online quality prediction.
Andreas MetzgerEric SchmiedersOsama SammodiKlaus PohlPublished in: S-Cube@ICSE (2012)
Keyphrases
- quality prediction
- image quality
- test generation
- online learning
- formal verification
- software testing
- real time
- databases
- neural network
- artificial intelligence
- computer vision
- symbolic execution
- database
- verification method
- asynchronous circuits
- search algorithm
- high quality
- image sequences
- feature selection
- information systems
- information retrieval
- machine learning
- data sets