Counterexample guided inductive synthesis modulo theories (Computer Aided Verification, 2018)

(untitled) - Abate, A; David, C; Kesseli, P; Kroening, D; Polgreen, E