Valdivino A. Santiago, Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira. An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. In First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. pages 63-72, IEEE Computer Society, 2008. [doi]
Abstract is missing.