Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.
Tsong Yueh ChenT. H. TseZhiquan ZhouPublished in: ISSTA (2002)
Keyphrases
- evaluation method
- significant improvement
- cost function
- gold standard
- preprocessing
- mutual information
- high accuracy
- optimization method
- mathematical model
- error rate
- detection method
- data sets
- experimental evaluation
- main contribution
- clustering method
- classification accuracy
- computational complexity
- objective function
- similarity measure
- high level