@inproceedings{Shan.PathExpander.Micro06,
   author = "Shan Lu and Pin Zhou and Wei Liu and Yuanyuan Zhou and
Josep Torrellas",
   title  = "PathExpander: Architectural Support for Increasing the
Path Coverage of Dynamic Bug Detection",
   booktitle = "Proceedings of the 39th Annual IEEE/ACM International
Symposium on Microarchitecture",
   month  = "December",
   year   = "2006",
}