Aleksandar S. Dimovski. Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations. In Amir Shaikhha, Sebastian Erdweg, Nada Amin, editors, Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2025, Bergen, Norway, July 3-4, 2025. pages 27-40, ACM, 2025. [doi]
Abstract is missing.