Kiran Deshpande Pankaj Jalote Sriram K. Rajamani Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009 ISEC ACM 2009 978-1-60558-426-3 db/conf/indiaSE/isec2009.html