Anirban Roy Choudhury, A. K. Bhattacharjee. RED: a tool for runtime error detection in C programs using abstract interpretation. In Sanjeev K. Aggarwal, T. V. Prabhakar, Vasudeva Varma, Srinivas Padmanabhuni, editors, Proceeding of the 5th Annual India Software Engineering Conference, ISEC 2012, Kanpur, India, February 22-25, 2012. pages 37-40, ACM, 2012. [doi]
@inproceedings{ChoudhuryB12,
title = {RED: a tool for runtime error detection in C programs using abstract interpretation},
author = {Anirban Roy Choudhury and A. K. Bhattacharjee},
year = {2012},
doi = {10.1145/2134254.2134260},
url = {http://doi.acm.org/10.1145/2134254.2134260},
researchr = {https://researchr.org/publication/ChoudhuryB12},
cites = {0},
citedby = {0},
pages = {37-40},
booktitle = {Proceeding of the 5th Annual India Software Engineering Conference, ISEC 2012, Kanpur, India, February 22-25, 2012},
editor = {Sanjeev K. Aggarwal and T. V. Prabhakar and Vasudeva Varma and Srinivas Padmanabhuni},
publisher = {ACM},
isbn = {978-1-4503-1142-7},
}