@InProceedings{ErasSantSant:2019:MeAuUn,
               author = "Eras, Eduardo Rohde and Santiago J{\'u}nior, Valdivino Alexandre 
                         and Santos, Luciana",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and Instituto Federal de 
                         Educa{\c{c}}{\~a}o, Ci{\^e}ncia e Tecnologia de S{\~a}o Paulo 
                         (IFSP)",
                title = "Singularity: a methodology for automatic unit test data generation 
                         for C++ applications based on Model Checking counterexamples",
                 year = "2019",
         organization = "Brazilian Symposium on Systematic and Automated Software Testing 
                         (SAST), 4.",
             keywords = "Unit test, Model Checking, Counterexamples, Automation, Tool.",
             abstract = "One of the most challenging task of testing activity is the 
                         generation of test cases/data. While there is significant amount 
                         of studies in this regard, there is still need to move towards 
                         approaches that can generate test case/data based only on source 
                         code since many software systems mostly have the source code 
                         available and no adequate documentation. In this paper a new 
                         methodology, called Singularity, is introduced to generate unit 
                         test data for C++ applications based on Model Checking, a popular 
                         technique for test case generation. Our approach, which is to be 
                         supported by a tool, automatically translates C++ code into a 
                         model which resembles a Statechart model and then into the 
                         notation of the NuSMV Model Checker. Later, we rely on a technique 
                         based on the HiMoST Method, producing counterexamples from the 
                         Model Checker that are, in fact, the test cases/data themselves. 
                         We have applied our approach to a few C++ case studies analyzing 
                         how feasible it is for automatic test data generation.",
  conference-location = "Salbador, BA",
      conference-year = "23-27 set.",
             language = "en",
           targetfile = "eras_singularity.pdf",
        urlaccessdate = "04 jun. 2024"
}