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