by Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags and Claudia Eckert
Reference:
IntRepair: Informed Repairing of Integer Overflows (Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags and Claudia Eckert), In IEEE Transactions on Software Engineering, 2019.
Bibtex Entry:
@article{1807.05092,
title = {IntRepair: Informed Repairing of Integer Overflows},
journal = {IEEE Transactions on Software Engineering},
year = {2019},
doi = {10.1109/tse.2019.2946148},
author = {Paul Muntean and Martin Monperrus and Hao Sun and Jens Grossklags and Claudia Eckert},
url = {http://arxiv.org/pdf/1807.05092},
}