A Practical Approach for Automated Test Case Generation using Statecharts. - Valdivino Alexandre de Santiago Jr.; Ana Silvia Martins do Amaral; Nandamudi L. Vijaykumar; Maria de Fátima Mattiello-Francisco; Eliane Martins; Odnei Cuesta Lopes (COMPSAC (2), 2006)