Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen. Efficient detection and exploitation of infeasible paths for software timing analysis. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 358-363, ACM, 2006. [doi]
Abstract is missing.