Test Case Generation for Critical Systems through a Collaborative Web-Based Tool. - Alessandro Oliveira Arantes; Nandamudi Lankalapalli Vijaykumar; Valdivino Alexandre de Santiago Júnior; Danielle Guimarães (CIMCA/IAWTIC/ISE, 2008)

Evaluation of Test Criteria for Space Application Software Modeling in Statecharts. - Erica Ferreira 001; Valdivino Alexandre de Santiago Jr.; Danielle Guimarães; Nandamudi Lankalapalli Vijaykumar (CIMCA/IAWTIC/ISE, 2008)

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)

WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts. - Alessandro Oliveira Arantes; Nandamudi Lankalapalli Vijaykumar; Valdivino Alexandre de Santiago Júnior; Danielle Guimarães (iiWAS, 2008)