@InProceedings{YanoMartSous:2011:MoApRo,
               author = "Yano, T. and Martins, E and Sousa, Fabiano Lu{\'{\i}}s de",
          affiliation = "nst. of Comput., State Univ. of Campinas, Campinas, Brazil and 
                         nst. of Comput., State Univ. of Campinas, Campinas, Brazil and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "A model-based approach for robustness test generation",
            booktitle = "Proceedings...",
                 year = "2011",
                pages = "33 - 34",
         organization = "Dependable Computing Workshops (LADCW); Latin-American Symposium 
                         on Issue Date, 5.",
                 note = "{IEEE Proceedings of Fifth Latin-American Symposium on Dependable 
                         Computing.}",
             abstract = "Since Critical Infrastructures (CI) strongly rely on network 
                         services, robustness testing is a key step to assure the 
                         resilience of such systems in the presence of abnormal situations. 
                         This work proposes a dynamic robustness test cases generation from 
                         state models, using an executable version of the model. A 
                         meta-heuristics search based algorithm is used to generate test 
                         cases taking into account the control and data aspects of the 
                         model.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "25-29 Apr.",
                  doi = "10.1109/LADCW.2011.16",
                  url = "http://dx.doi.org/10.1109/LADCW.2011.16",
                 isbn = "978-0-7695-4394-9 and 978-1-4577-0194-8",
             language = "en",
           targetfile = "04283278.pdf",
        urlaccessdate = "19 abr. 2024"
}