Automatic Repair of Infinite Loops
by Sebastian R. Lamelas Marcote and Martin Monperrus
Cite it:
Sebastian R. Lamelas Marcote and Martin Monperrus, "Automatic Repair of Infinite Loops", Technical report, arXiv 1504.05078, 2015.
[Automatic Repair of Infinite Loops](https://arxiv.org/pdf/1504.05078.pdf)
\href{https://arxiv.org/pdf/1504.05078.pdf}{Automatic Repair of Infinite Loops} % \cite{1504.05078}
Bibtex Entry:
@techreport{1504.05078,
title = {Automatic Repair of Infinite Loops},
year = {2015},
author = {Sebastian R. Lamelas Marcote and Martin Monperrus},
url = {https://arxiv.org/pdf/1504.05078.pdf},
number = {1504.05078},
institution = {arXiv},
}