@InProceedings{BarrosHiraMarqAmbr:2020:GeTeCa,
               author = "Barros, Lilian and Hirata, Celso and Marques, Johnny and 
                         Ambr{\'o}sio, Ana Maria",
          affiliation = "{Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and 
                         {Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and 
                         {Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Generating test cases to evaluate and improve processes of 
                         safety-critical systems development",
            booktitle = "Proceedings...",
                 year = "2020",
               editor = "Vieira, M. and Madeira, H. and Antunes, H. and Zheng, Z.",
                pages = "311--318",
         organization = "International Symposium on Software Reliability Engineering 
                         Workshops, 31.",
            publisher = "IEEE",
             abstract = "O-178C establishes considerations for developers, installers, and 
                         users to design software of embedded equipment in the aviation 
                         sector. Organizations must define processes and verify that they 
                         help to demonstrate that the DO-178C objectives are satisfied. We 
                         propose a test case generation method for process evaluation and 
                         improvement. The proposed method consists of an adaptation of the 
                         CoFI (Conformance and Fault Injection) approach to generate test 
                         cases to processes. Test cases verify if the deployed processes 
                         comply with their requirements. We applied the innovative approach 
                         to a corrective action process for safety-critical software 
                         reviews. The results show that the method is helpful to elicit and 
                         analyze unexpected behaviors.",
  conference-location = "Coimbra, Portugal",
      conference-year = "12-15 Oct.",
                  doi = "10.1109/ISSREW51248.2020.00090",
                  url = "http://dx.doi.org/10.1109/ISSREW51248.2020.00090",
                 isbn = "978-172819870-5",
             language = "en",
           targetfile = "barros_generating.pdf",
        urlaccessdate = "08 maio 2024"
}