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]
@inproceedings{NilizadehLC22, title = {Automated Reasoning Repair}, author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok}, year = {2022}, doi = {10.1145/3611096.3611099}, url = {https://doi.org/10.1145/3611096.3611099}, researchr = {https://researchr.org/publication/NilizadehLC22}, cites = {0}, citedby = {0}, pages = {11-14}, booktitle = {Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022}, editor = {Henrique RebĂȘlo}, publisher = {ACM}, }