H. Z. ChouK. H. ChangSY-YEN KUO2018-09-102018-09-102011-01http://scholars.lib.ntu.edu.tw/handle/123456789/366410Facilitating Unreachable Code Diagnosis and Debuggingconference paper10.1109/ASPDAC.2011.57222382-s2.0-79952907395