Automatic Repair of Infinite Loops (bibtex)

by Sebastian R. Lamelas Marcote and Martin Monperrus

Reference:

Automatic Repair of Infinite Loops (Sebastian R. Lamelas Marcote and Martin Monperrus), Technical report 1504.05078, arXiv, 2015.

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