Hao Sun, Chao Su, Yue Wang, Qingkai Zeng
Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis
SEKE, 2015.
@inproceedings{SEKE-2015-SunSWZ, author = "Hao Sun and Chao Su and Yue Wang and Qingkai Zeng", booktitle = "{Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering}", doi = "10.18293/SEKE2015-123", isbn = "1-891706-35-7", pages = "601--606", publisher = "{KSI Research Inc. and Knowledge Systems Institute Graduate School}", title = "{Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis}", year = 2015, }