@misc{indiciae226b02fac3e9, title = {GLAD: Neural Predicate Synthesis to Repair Omission Faults}, author = {Sungmin Kang and Shin Yoo}, year = {2022}, url = {https://arxiv.org/abs/2204.06771}, note = {Source identifier: 2204.06771} }