Chou, et al.. Facilitating Unreachable Code Diagnosis and Debugging. IEEE, 2011, doi:10.1109/aspdac.2011.5722238.