Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.
Moonzoo KimShin HongChangki HongTaeho KimPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- test cases
- concurrency control
- kernel function
- database systems
- fine grained
- reproducing kernel hilbert space
- software testing
- kernel methods
- feature space
- data driven
- source code
- software systems
- data flow
- model free
- multiple kernel learning
- kernel space
- machine learning
- high dimensional
- support vector
- data structure
- similarity measure