Shan Lu Pin Zhou Wei Liu Yuanyuan Zhou Josep Torrellas PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection. 38-52 2006 conf/micro/2006 MICRO http://doi.ieeecomputersociety.org/10.1109/MICRO.2006.40 db/conf/micro/micro2006.html#LuZLZT06