3440280
doi
10.1145/3180155.3180250
oai:zenodo.org:3440280
Static Automated Program Repair for Heap Properties: ICSE 2018 Artifact
van Tonder, Rijnard
Carnegie Mellon University
info:eu-repo/semantics/openAccess
Apache License 2.0
http://www.apache.org/licenses/LICENSE-2.0
automated program repair
automated bug fixing
static analysis
bug finding
<p>This is the ICSE 2018 VM artifact archived for the paper cited below. Find more information at <a href="https://github.com/squaresLab/footpatch">https://github.com/squaresLab/footpatch</a></p>
<pre><code>@inproceedings{vanTonderHeapProperties2018,
title = {Static Automated Program Repair for Heap Properties},
author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire},
booktitle = {International Conference on Software Engineering},
series = {ICSE '18},
pages = {151--162},
month = may,
year = {2018},
publisher = {ACM},
location = {Gothenburg, Sweden},
doi = {10.1145/3180155.3180250}
}</code></pre>
<p> </p>
Zenodo
2018-05-29
info:eu-repo/semantics/other
3440279
0.1.0
1579937153.772031
37235851264
md5:6e3ac164f0d5cabb8f5cefba3d5f6808
https://zenodo.org/records/3440280/files/footpatch.vmdk
public