EBTCG: a tool for Event Based Test Case Generation. - Swati Singhal; Atul Sunsunwal; Sandeep K. Singh 001; Sangeeta Sabharwal (ISEC, 2011)