A runtime-testing method for integer overflow detection based on metamorphic relations.
Zhanwei HuiSong HuangMeng-Yu JiPublished in: J. Intell. Fuzzy Syst. (2016)
Keyphrases
- detection method
- high precision
- high accuracy
- computational complexity
- significant improvement
- image processing
- cost function
- computational cost
- classification method
- clustering method
- computationally efficient
- experimental evaluation
- prior knowledge
- pairwise
- preprocessing
- object recognition
- bayesian networks
- probabilistic model
- training set
- detection algorithm
- test cases
- false positives
- segmentation method
- objective function