An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models

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]

Authors

Valdivino A. Santiago

This author has not been identified. Look up 'Valdivino A. Santiago' in Google

Nandamudi Lankalapalli Vijaykumar

This author has not been identified. Look up 'Nandamudi Lankalapalli Vijaykumar' in Google

Danielle Guimarães

This author has not been identified. Look up 'Danielle Guimarães' in Google

Ana Silvia Martins do Amaral

This author has not been identified. Look up 'Ana Silvia Martins do Amaral' in Google

Erica Ferreira

This author has not been identified. Look up 'Erica Ferreira' in Google