Automated debugging of missing assumptions.

Brian Keng Evean Qin Andreas G. Veneris Bao Le

Published in: ASP-DAC (2014)

Keyphrases

semi automated
fully automated
missing data
decision trees
data driven
context sensitive
automated analysis
information retrieval
website
case study
digital libraries
computer aided
novice programmers
underlying assumptions
hardware designs