Program Synthesis for Program Analysis

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis. Program Synthesis for Program Analysis. ACM Transactions on Programming Languages and Systems, 40(2), 2018. [doi]

Abstract

Abstract is missing.