@InProceedings{SantiagoAmViMaMaLo:2006:PrApAu,
               author = "Santiago, Valdivino and Amaral, Ana Silvia Martins Serra do and 
                         Vijaykumar, Nandamudi Lankalapalli and Mattiello-Francisco, Maria 
                         de F{\'a}tima and Martins, Eliane and Lopes, Odnei Cuesta",
          affiliation = "Instituto Nacional de Pesquisas Espaciais, Divis{\~a}o de 
                         Astrof{\'{\i}}sica (INPE.DAS) and Instituto Nacional de 
                         Pesquisas Espaciais, Laborat{\'o}rio Associado de 
                         Computa{\c{c}}{\~a}o e Matem{\'a}tica Aplicada (INPE.LAC) and 
                         Instituto Nacional de Pesquisas Espaciais, Laborat{\'o}rio 
                         Associado de Computa{\c{c}}{\~a}o e Matem{\'a}tica Aplicada 
                         (INPE.LAC) and Instituto Nacional de Pesquisas Espaciais, 
                         Divis{\~a}o de Desenvolvimento de Sistema de Solo (INPE.DSS) and 
                         {Universidade Estadual de Campinas (UNICAMP)} and {Universidade 
                         Estadual de Campinas (UNICAMP)}",
                title = "A pratical approach for automated test case generation using 
                         statecharts",
            booktitle = "Proceedings...",
                 year = "2006",
         organization = "International Workshop on Testing and Quality Assurance for 
                         Component-Based Systems, 2. (TQACBS 2006).",
             abstract = "This paper presents an approach for automated test case generation 
                         using a software specification modeled in Statecharts. The steps 
                         defined in such approach involve: translation of Statecharts 
                         modeling into an XML-based language; and the PerformCharts tool 
                         generates FSMs based on control flow. These FSMs are the inputs 
                         for the Condado tool which generates test cases. The idea is to 
                         demonstrate that by using a higher-level technique, such as 
                         Statecharts, complex software can be represented with clarity and 
                         rich details. A case study was on an implementation of a protocol 
                         specified for communication between a scientific experiment and 
                         the On-Board Data Handling Computer of a satellite under 
                         development at National Institute for Space Research (INPE).",
  conference-location = "Chicago",
      conference-year = "2006-09-17",
           copyholder = "SID/SCD",
             language = "en",
           targetfile = "A pratical approach for automated test.pdf",
        urlaccessdate = "16 maio 2024"
}