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]
Abstract is missing.