Using formal verification to reduce test space of fault-tolerant programs (2008)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; XAVIER, KLEBER DA SILVA - IME ; HANAZUMI, SIMONE - IME
- Unidade: IME
- DOI: 10.1109/SEFM.2008.31
- Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS; JAVA; TESTE E AVALIAÇÃO DE SOFTWARE; LÓGICA FORMAL; ENGENHARIA DE SOFTWARE
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2008
- Source:
- Título do periódico: Proceedings
- Conference titles: International Conference on Software Engineering and Formal Methods - SEFM
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 18 abr. 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.31 -
NLM
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 abr. 18 ] Available from: https://doi.org/10.1109/SEFM.2008.31 -
Vancouver
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 abr. 18 ] Available from: https://doi.org/10.1109/SEFM.2008.31 - Generation of Java programs properties from test purposes
- Coordinating exceptions of Java systems: implementation and formal verification
- Towards verification and testing of Java programs
- OConGraX: automatically generating data-flow test cases for fault-tolerant systems
- Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
- Geração de propriedades sobre programas Java a partir de objetivos de teste
- Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
- Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
Informações sobre o DOI: 10.1109/SEFM.2008.31 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas