%0 Journal Article %1 journals/tdsc/Cheng0S0021 %A Cheng, Xi %A Zhou, Min %A Song, Xiaoyu %A Gu, Ming %A Sun, Jiaguang %D 2021 %J IEEE Trans. Dependable Secur. Comput. %K dblp %N 2 %P 918-935 %T Automatic Integer Error Repair by Proper-Type Inference. %U http://dblp.uni-trier.de/db/journals/tdsc/tdsc18.html#Cheng0S0021 %V 18

@article{journals/tdsc/Cheng0S0021, added-at = {2021-03-23T00:00:00.000+0100}, author = {Cheng, Xi and Zhou, Min and Song, Xiaoyu and Gu, Ming and Sun, Jiaguang}, biburl = {https://www.bibsonomy.org/bibtex/24408e6a9a86978511153e0786d8986d8/dblp}, ee = {https://doi.org/10.1109/TDSC.2019.2913862}, interhash = {a34c5836f17d8d80ed23e4e1afdadd83}, intrahash = {4408e6a9a86978511153e0786d8986d8}, journal = {IEEE Trans. Dependable Secur. Comput.}, keywords = {dblp}, number = 2, pages = {918-935}, timestamp = {2024-04-09T06:54:12.000+0200}, title = {Automatic Integer Error Repair by Proper-Type Inference.}, url = {http://dblp.uni-trier.de/db/journals/tdsc/tdsc18.html#Cheng0S0021}, volume = 18, year = 2021 }