2014
Automated debugging of missing assumptions.
[DOI]
Brian Keng
,
Evean Qin
,
Andreas G. Veneris
,
Bao Le
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014