OConGraX: automatically generating data-flow test cases for fault-tolerant systems (2009)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; NUNES, PAULO ROBERTO DE ARAUJO FRANÇA - IME ; HANAZUMI, SIMONE - IME
- Unidade: IME
- DOI: 10.1007/978-3-642-05031-2_17
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; JAVA; ENGENHARIA DE PROGRAMAS
- Keywords: coverage criterion; code coverage; test case selection
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: International Workshop on Formal Approaches to Software Testing - FATES
- Este periódico é de assinatura
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: bronze
-
ABNT
NUNES, Paulo Roberto de Araújo França e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems. 2009, Anais.. Berlin: Springer, 2009. Disponível em: https://doi.org/10.1007/978-3-642-05031-2_17. Acesso em: 23 abr. 2024. -
APA
Nunes, P. R. de A. F., Hanazumi , S., & Melo, A. C. V. de. (2009). OConGraX: automatically generating data-flow test cases for fault-tolerant systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-05031-2_17 -
NLM
Nunes PR de AF, Hanazumi S, Melo ACV de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems [Internet]. Proceedings. 2009 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17 -
Vancouver
Nunes PR de AF, Hanazumi S, Melo ACV de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems [Internet]. Proceedings. 2009 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17 - Generation of Java programs properties from test purposes
- Coordinating exceptions of Java systems: implementation and formal verification
- Using formal verification to reduce test space of fault-tolerant programs
- Towards verification and testing of Java programs
- Geração de propriedades sobre programas Java a partir de objetivos de teste
- Validação de padrões de web services transacionais
- 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.1007/978-3-642-05031-2_17 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
