Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
Tsong Yueh ChenT. H. TseZhiquan ZhouPublished in: IEEE Trans. Software Eng. (2011)
Keyphrases
- dynamic programming
- optimization method
- experimental evaluation
- cost function
- computational cost
- classification accuracy
- test cases
- detection method
- test data
- fully automatic
- high accuracy
- similarity measure
- significant improvement
- optimization algorithm
- preprocessing
- edge detection
- matching algorithm
- model based diagnosis
- synthetic data
- error rate
- support vector machine svm
- computationally efficient
- support vector machine
- prior knowledge
- objective function