Using formal verification to reduce test space of fault-tolerant programs (2008)
Source: Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, TESTE E AVALIAÇÃO DE SOFTWARE, LÓGICA FORMAL, ENGENHARIA DE SOFTWARE
ABNT
XAVIER, Kleber da Silva e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Using formal verification to reduce test space of fault-tolerant programs. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SEFM.2008.31. Acesso em: 19 out. 2024.APA
Xavier, K. da S., Hanazumi , S., & Melo, A. C. V. de. (2008). Using formal verification to reduce test space of fault-tolerant programs. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2008.31NLM
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2024 out. 19 ] Available from: https://doi.org/10.1109/SEFM.2008.31Vancouver
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2024 out. 19 ] Available from: https://doi.org/10.1109/SEFM.2008.31