@software{van_tonder_2019_3440280, author = {van Tonder, Rijnard}, title = {{Static Automated Program Repair for Heap Properties: ICSE 2018 Artifact}}, month = sep, year = 2019, publisher = {Zenodo}, version = {0.1.0}, doi = {10.1145/3180155.3180250}, url = {https://doi.org/10.1145/3180155.3180250} }