A Logic Diagnosis Methodology for Improved Localization and Extraction of Accurate Defect Behavior | IEEE Conference Publication | IEEE Xplore