Ting Chen Tulika Mitra Abhik Roychoudhury Vivy Suhendra Exploiting Branch Constraints without Exhaustive Path Enumeration. 2005 conf/wcet/2005 WCET http://drops.dagstuhl.de/opus/volltexte/2007/816 db/conf/wcet/wcet2005.html#ChenMRS05