Static Automated Program Repair for Heap Properties: ICSE 2018 Artifact

This is the ICSE 2018 VM artifact archived for the paper cited below. Find more information at https://github.com/squaresLab/footpatch @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}