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 Guimares, Ana Silvia Martins do Amaral, Erica Ferreira

Browse the full ICST paper archive.