Imperative-program synthesis from assumptions and assertions by abstract analysis and SMT mutations

Journal of Computer Languages 2026

View at publisher

Authors: Aleksandar S. Dimovski

DOI: 10.1016/j.cola.2026.101395

Cited by: 1

References: 8

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Advanced Software Engineering Methodologies

References 8