An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.
Valdivino Alexandre de Santiago Jr.Nandamudi Lankalapalli VijaykumarDanielle GuimarãesAna Silvia Martins do AmaralErica FerreiraPublished in: ICST Workshops (2008)