Fechar
Metadados

@InProceedings{SantiagoJrVijaGuimAmar:2008:EnAuTe,
               author = "Santiago Junior, Valdivino Alexandre de and Vijaykumar, Nandamudi 
                         and Guimar{\~a}es, Danielle Guimar{\~a}es and Amaral, Ana",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} 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",
                 year = "2008",
         organization = "Workshop on Advances in Model Based Testing, 4. (A-MOST 2008).",
  conference-location = "Lillehammer, Norway",
      conference-year = "9 - 11 Apr.",
        urlaccessdate = "14 ago. 2020"
}


Fechar