The Specification-Based Testing of a Trusted Kernel: MK++.
Richard L. FordWilliam R. BevierRichard T. SimonLawrence M. SmithPublished in: ICFEM (1997)
Keyphrases
- formal verification
- test case generation
- kernel function
- test cases
- high level
- kernel methods
- specification language
- software testing
- sparse kernel
- kernel regression
- kernel density estimation
- formal specification
- feature space
- support vector
- neural network
- positive definite
- support vector machine
- code generation
- convolution kernel