Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo. Facilitating unreachable code diagnosis and debugging. In Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011. pages 485-490, IEEE, 2011. [doi]
Abstract is missing.