@InProceedings{AmbrosioMartCarvVija:2003:ApCoFS,
               author = "Ambrosio, Ana Maria and Martins, Eliane and Carvalho, Solon 
                         Ven{\^a}ncio de and Vijaykumar, Nandamudi Lankalapalli",
          affiliation = "{Aluno do curso de p{\'o}s-gradua{\c{c}}{\~a}o do INPE em 
                         Computa{\c{c}}{\~a}o Aplicada (CAP)} and {Universidade Estadual 
                         de Campinas} and Instituto Nacional de Pesquisas Espaciais, 
                         Laborat{\'o}rio Associado de Computa{\c{c}}{\~a}o Aplicada, 
                         BR-12227010, S{\~a}o Jos{\'e} dos Campos, SP, Brasil",
                title = "An approach for concurrent FSM-based test case generation",
            booktitle = "Anais...",
                 year = "2003",
               editor = "Banon, Gerald Jean Francis and Ramos, Fernando Manuel and Rosa, 
                         Reinaldo Roberto and Silva, Jos{\'e} Demisio Sim{\~o}es da",
                pages = "25 - 30",
         organization = "Workshop dos Cursos de Computa{\c{c}}{\~a}o Aplicada do INPE, 3. 
                         (WORCAP).",
            publisher = "Instituto Nacional de Pesquisas Espaciais",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "test case generation, mutation test, finite state machine",
             abstract = "This paper presents an approach for black-box test case derivation 
                         from a set of concurrent FSM, in which the product machine is not 
                         generated. The approach is based on the concept of independent and 
                         communicating transitions. An algorithm to recognize the 
                         communicating transitions from the concurrent-FSM-based 
                         specification is presented. A set of test cases was generated 
                         supported by an existing tool able to generate tests for simple 
                         FSM-based specification, the Condado. The test case suite 
                         generated according to the approach was then compared with the 
                         test suite generated from the product machine, also using the 
                         Condado. In order to evaluate the effectiveness of the test suite 
                         generated by the proposed approach, a set of automatically 
                         generated mutants was used. The code-based interface mutants were 
                         used as a fault model to support the comparison between both the 
                         test case sets. A simple example illustrates the approach and a 
                         comparison is made to an empirical study. Preliminary results 
                         pointed out simplicity and effectiveness of the approach over the 
                         fault model in the empirical evaluation.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "26-27 nov. 2003",
             language = "English",
         organisation = "Instituto Nacional de Pesquisas Espaciais",
                  ibi = "7mbX3pFwXQZ5tjxfb/zVS56",
                  url = "http://urlib.net/ibi/7mbX3pFwXQZ5tjxfb/zVS56",
           targetfile = "Ambrosio-Worcap2003.pdf",
                 type = "Sistema de Informa{\c{c}}{\~a}o",
        urlaccessdate = "04 jun. 2024"
}