A runtime-testing method for integer overflow detection based on metamorphic relations

Zhanwei Hui, Song Huang, Meng-Yu Ji. A runtime-testing method for integer overflow detection based on metamorphic relations. Journal of Intelligent and Fuzzy Systems, 31(4):2349-2361, 2016. [doi]

Abstract

Abstract is missing.