@InProceedings{SantiagoJúniorVijGuiAmaSou:2008:EnTeCa,
               author = "Santiago J{\'u}nior, Valdivino Alexandre and Vijaykumar, 
                         Nandamudi Lankalapalli and Guimar{\~a}es, Danielle Souza and 
                         Amaral, Ana Silvia Martins Serra and Souza, {\'E}rica Ferreira 
                         de",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)} and {Instituto Nacional de Pesquisas 
                         Espaciais (INPE)} and {Instituto Nacional de Pesquisas Espaciais 
                         (INPE)}",
                title = "An Environment for Test Case Generation from Statecharts-based and 
                         Finite State Machine-based Behavioral Models",
            booktitle = "Proceedings...",
                 year = "2008",
                pages = "1--10",
         organization = "Workshop on Advances in Model Based Testing, 4. (A-MOST).",
            publisher = "IEEE Computer Society",
             abstract = "Automated test case generation from behavioral models like Finite 
                         State Machines (FSMs) and Statecharts has long been studied. 
                         Environments that enable a test designer to model a real complex 
                         software and to obtain test cases to validate such a software are 
                         mandatory in an automated test approach. This paper presents an 
                         environment, GTSC, which enables test sequences to be obtained 
                         from both Statechart-based and FSM-based behavioral models. The 
                         environment supports test case generation from some test methods 
                         for FSM, such as switch cover, DS and UIO methods, and also from 
                         some test criteria for Statecharts based on the SCCF family. Two 
                         case studies involving embedded software developed for two 
                         computers of scientific experiments of a satellite under 
                         development at National Institute for Space Research (INPE) are 
                         presented in order to show the usefulness of the environment.",
  conference-location = "Lillihammer",
      conference-year = "2008",
                 isbn = "9780769533",
                label = "lattes: 9922863822347014 2 
                         SantiagoJ{\'u}niorVijGuiAmaSou:2008:EnTeCa",
             language = "en",
           targetfile = "santiago_environment.pdf",
               volume = "1",
        urlaccessdate = "25 abr. 2024"
}