Program synthesis: challenges and opportunities (Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 2017)

(untitled) - Kroening, D; David, C