author = "Arantes, Alessandro Oliveira and Santiago J{\'u}nior, Valdivino 
                         Alexandre de and Vijaykumar, Nandamudi Lankalapalli",
          affiliation = "{Instituto de Estudos Avan{\c{c}}ados (IEAv)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "On proposing a test oracle generator based on static and dynamic 
                         source code analysis",
            booktitle = "Proceedings...",
                 year = "2015",
         organization = "IEEE International Workshop on Model-Based Verification \& 
                         Validation (MVV), IEEE International Conference on Software 
                         Quality, Reliability and Security, 5. (QRS)",
                 note = "{Setores de Atividade: Pesquisa e desenvolvimento 
             keywords = "Test Oracle, REACTOR, Static Analysis, Dynamic Analysis.",
             abstract = "Test oracles have become a welcoming approach as a very efficient 
                         support for testing any type of application. Since oracle's 
                         generation can be a very laborious work, several techniques have 
                         been studied in order to perform an automatic or semi-automatic 
                         generation. However, the construction of an automated test oracle 
                         is not a trivial task, especially in terms of the inference of 
                         verdicts and detecting defects. Therefore, this research proposes 
                         a strategy to construct an automated test oracle based only on a 
                         model generated from reverse engineering, and to detect defects by 
                         a combination of static and dynamic source code analysis with a 
                         minimum manual labor from testers. We have applied our methodology 
                         to some interesting case studies and compared with other tools in 
                         order to show usefulness of our approach.",
  conference-location = "Vancouver, Canad{\'a}",
      conference-year = "3-5 Aug.",
                label = "lattes: 5039690360728170 2 ArantesSantVija:2015:PrTeOr",
             language = "en",
           targetfile = "1_arantes2.pdf",
        urlaccessdate = "24 jan. 2021"