Open AccessImproving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis
Author(s) -
Hao Sun,
Chao Su,
Yue Wang,
Qingkai Zeng
Publication year - 2015
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.155
H-Index - 14
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2015-123
Subject(s) - integer (computer science) , false positive paradox , operand , computer science , soundness , data flow analysis , integer programming , detector , algorithm , instrumentation (computer programming) , data mining , real time computing , reliability engineering , data flow diagram , artificial intelligence , engineering , computer hardware , programming language , database , telecommunications
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom