Gautam Shroff Pankaj Jalote Sriram K. Rajamani Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008 ISEC ACM 2008 978-1-59593-917-3 db/conf/indiaSE/isec2008.html