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)

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. - Valdivino Alexandre de Santiago Jr.; Nandamudi Lankalapalli Vijaykumar; Danielle Guimarães; Ana Silvia Martins do Amaral; Erica Ferreira 001 (ICST Workshops, 2008)