Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal
Underspecified harnesses and interleaved bugs
POPL, 2012.
@inproceedings{POPL-2012-JoshiLL, author = "Saurabh Joshi and Shuvendu K. Lahiri and Akash Lal", booktitle = "{Proceedings of the 39th Symposium on Principles of Programming Languages}", doi = "10.1145/2103656.2103662", editor = "John Field and Michael Hicks", isbn = "978-1-4503-1083-3", pages = "19--30", publisher = "{ACM}", title = "{Underspecified harnesses and interleaved bugs}", year = 2012, }