Using program synthesis for program analysis - David, C; Kroening, D; Lewis, M (Lecture Notes in Computer Science: LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2015)