Rijnard van Tonder, Claire Le Goues. Static automated program repair for heap properties. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 151-162, ACM, 2018. [doi]
@inproceedings{TonderG18-0,
title = {Static automated program repair for heap properties},
author = {Rijnard van Tonder and Claire Le Goues},
year = {2018},
doi = {10.1145/3180155.3180250},
url = {http://doi.acm.org/10.1145/3180155.3180250},
researchr = {https://researchr.org/publication/TonderG18-0},
cites = {0},
citedby = {0},
pages = {151-162},
booktitle = {Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},
publisher = {ACM},
}