@InProceedings{SantiagoVijGuiAmaFer:2008:EnAuTe,
               author = "Santiago, Valdivino and Vijaykumar, Nandamudi L. and 
                         Guimar{\~a}es, Danielle Souza and Amaral, Ana Silvia and 
                         Ferreira, {\'E}rica",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
                title = "An Environment for Automated Test Case Generation from 
                         Statechart-based and Finite State Machine-based Behavioral 
                         Models",
            booktitle = "Proceedings...",
                 year = "2008",
                pages = "63--72",
         organization = "Software Testing Verification and Validation Workshop, 2008. ICSTW 
                         '08. IEEE International Conference on Software Testing 
                         Verification and Validation Workshop.",
             keywords = "statecharts, test case generation, Finite State Machine.",
             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 = "Lillehammer",
      conference-year = "2008",
                  doi = "10.1109/ICSTW.2008.7",
                  url = "http://dx.doi.org/10.1109/ICSTW.2008.7",
                label = "lattes: 9311443298836689 3 SantiagoVijGuiAmaFer:2008:EnAuTe",
             language = "en",
           targetfile = "santiago_environment.pdf",
        urlaccessdate = "23 abr. 2024"
}