Automated debugging of missing assumptions. - Brian Keng; Evean Qin; Andreas G. Veneris; Bao Le (ASP-DAC, 2014)