Path-exploration lifting: hi-fi tests for lo-fi emulators

Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis. Path-exploration lifting: hi-fi tests for lo-fi emulators. In Tim Harris, Michael L. Scott, editors, Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012. pages 337-348, ACM, 2012. [doi]

@inproceedings{MartignoniMPSM12,
  title = {Path-exploration lifting: hi-fi tests for lo-fi emulators},
  author = {Lorenzo Martignoni and Stephen McCamant and Pongsin Poosankam and Dawn Song and Petros Maniatis},
  year = {2012},
  doi = {10.1145/2150976.2151012},
  url = {http://doi.acm.org/10.1145/2150976.2151012},
  researchr = {https://researchr.org/publication/MartignoniMPSM12},
  cites = {0},
  citedby = {0},
  pages = {337-348},
  booktitle = {Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012},
  editor = {Tim Harris and Michael L. Scott},
  publisher = {ACM},
  isbn = {978-1-4503-0759-8},
}