@article{ZHU Xuemei_56, author = {ZHU Xuemei, WANG Xingqi, FANG Jinglong, WANG Daquan}, title = {Dynamic detection approach for integer sign conversion in binary programs}, publisher = {Computer Engineering and Applications}, year = {2015}, journal = {Computer Engineering and Applications}, volume = {51}, number = {18}, eid = {56}, pages = {56-61}, keywords = {

integer sign conversion faults; type inference; conflict type; binary programs; intermediate representation

}, url = http://cea.ceaj.org/EN/abstract/article_33642.shtml }