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: Proceedings
- Conference titles: International Workshop on Formal Approaches to Software Testing - FATES
- Status:
- Artigo possui acesso gratuito no site do editor (Bronze Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
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: 15 abr. 2026. -
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 2026 abr. 15 ] 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 2026 abr. 15 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17 - Coordinating exceptions of Java systems: implementation and formal verification
- Generation of Java programs properties from test purposes
- Towards verification and testing of Java programs
- Using formal verification to reduce test space of fault-tolerant programs
- Validação de padrões de web services transacionais
- Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
- Geração de propriedades sobre programas Java a partir de objetivos de teste
- An architectural pattern to implement business rules in information systems
- An aproach for the verification of multi-agent systems by formally guided simulations
- Behaviorist agent architecture
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
