@inproceedings{DBLP:conf/popl/JoshiLL12,
  title = "Underspecified harnesses and interleaved bugs",
  author = "Saurabh Joshi and Shuvendu K. Lahiri and Akash Lal",
  year = "2012",
  booktitle = "Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012",
  editor = "John Field and Michael Hicks",
  isbn = "978-1-4503-1083-3",
  pages = "19--30",
  publisher = "{ACM}",
  url = "http://dl.acm.org/citation.cfm?id=2103656",
  doi = "10.1145/2103656.2103662",
}