Vineet Singh, Rajiv Gupta 0001, Iulian Neamtiu
Automatic fault location for data structures
CC, 2016.
@inproceedings{CC-2016-SinghGN, author = "Vineet Singh and Rajiv Gupta 0001 and Iulian Neamtiu", booktitle = "{Proceedings of the 25th International Conference on Compiler Construction}", doi = "10.1145/2892208.2892215", isbn = "978-1-4503-4241-4", pages = "99--109", publisher = "{ACM}", title = "{Automatic fault location for data structures}", year = 2016, }