Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok. Automated Reasoning Repair. In Henrique Rebêlo, editor, Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022. pages 11-14, ACM, 2022. [doi]
Abstract is missing.