@InProceedings{ArantesSantVija:2013:AbMoFo,
               author = "Arantes, Alessandro and Santiago J{\'u}nior, Valdivino Alexandre 
                         de and Vijaykumar, Nandamudi Lankalapalli",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "Testes de Software de aplica{\c{c}}{\~o}es espacias: abordagem 
                         por modelos formais e or{\'a}culos",
            booktitle = "Anais...",
                 year = "2013",
         organization = "Workshop dos Cursos de Computa{\c{c}}{\~a}o Aplicada do INPE, 
                         13. (WORCAP)",
            publisher = "INPE",
              address = "S{\~a}o Jos{\'e} dos Campos",
             abstract = "O INPE desenvolve sistemas embarcados para sat{\'e}lites 
                         cient{\'{\i}}ficos e bal{\~o}es estratosf{\'e}ricos e, 
                         consequentemente, os processos Verifica{\c{c}}{\~a}o e 
                         Valida{\c{c}}{\~a}o (V\&V) exigem cuidados especiais na 
                         detec{\c{c}}{\~a}o e preven{\c{c}}{\~a}o de defeitos. Neste 
                         cen{\'a}rio, a gera{\c{c}}{\~a}o e execu{\c{c}}{\~a}o 
                         autom{\'a}tica de casos de teste proporciona um ganho 
                         significativo de produtividade no trabalho de especialistas que, 
                         aliado a um or{\'a}culo automatizado de resultados de testes, 
                         pode avaliar o comportamento de sistemas reativos diante dos 
                         eventos aos quais estar{\'a} sujeito. Este trabalho tem por 
                         objetivo desenvolver um or{\'a}culo automatizado de teste 
                         baseando-se, exclusivamente, no c{\'o}digo-fonte da 
                         aplica{\c{c}}{\~a}o. O grande desafio de uma proposta dessa 
                         natureza {\'e} como gerar, automaticamente e tomando como base 
                         somente o c{\'o}digo-fonte, os resultados esperados para um 
                         determinado dado de entrada de teste.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "13-14 nov. 2013",
                label = "lattes: 4896052217878979 1 SantosSantVija:2013:AlTrUM",
             language = "pt",
                  ibi = "8JMKD3MGP3W/49N5SPP",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W/49N5SPP",
           targetfile = "Arantes_testes.pdf",
                  url = "http://www.lac.inpe.br/worcap2013/programacao.php",
        urlaccessdate = "09 maio 2024"
}