Inferring Natural Preconditions via Program Transformation

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik. Inferring Natural Preconditions via Program Transformation. In Marcelo d'Amorim, editor, Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. pages 657-658, ACM, 2024. [doi]

Abstract

Abstract is missing.