Static automated program repair for heap properties
Rijnard van Tonder, Claire Le Goues[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 40th International Conference on Software Engineering
ICSE '18
Gothenburg, Sweden
Association for Computing Machinery
New York, NY, USA
Pages 151-162
2018
ICSE '18
Gothenburg, Sweden
Association for Computing Machinery
New York, NY, USA
Pages 151-162
2018