IntRepair: Informed Repairing of Integer Overflows

by Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags and Claudia Eckert

Cite it:

Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags and Claudia Eckert, "IntRepair: Informed Repairing of Integer Overflows", IEEE Transactions on Software Engineering, 2019.
https://doi.org/10.1109/tse.2019.2946148

IntRepair: Informed Repairing of Integer Overflows
http://arxiv.org/pdf/1807.05092

[IntRepair: Informed Repairing of Integer Overflows](http://arxiv.org/pdf/1807.05092) ([doi:10.1109/tse.2019.2946148](https://doi.org/10.1109/tse.2019.2946148))

\href{http://arxiv.org/pdf/1807.05092}{IntRepair: Informed Repairing of Integer Overflows} % \cite{1807.05092}

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},
}