Generation of Java programs properties from test purposes (2013)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; HANAZUMI, SIMONE - IME
- Unidade: IME
- DOI: 10.1145/2483760.2492400
- Subjects: JAVA; ENGENHARIA DE SOFTWARE
- Keywords: formal verification; test purposes; programs specification
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: International Symposium on Software Testing and Analysis - ISSTA
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Generation of Java programs properties from test purposes. 2013, Anais.. New York: ACM, 2013. Disponível em: https://doi.org/10.1145/2483760.2492400. Acesso em: 08 jan. 2026. -
APA
Hanazumi , S., & Melo, A. C. V. de. (2013). Generation of Java programs properties from test purposes. In Proceedings. New York: ACM. doi:10.1145/2483760.2492400 -
NLM
Hanazumi S, Melo ACV de. Generation of Java programs properties from test purposes [Internet]. Proceedings. 2013 ;[citado 2026 jan. 08 ] Available from: https://doi.org/10.1145/2483760.2492400 -
Vancouver
Hanazumi S, Melo ACV de. Generation of Java programs properties from test purposes [Internet]. Proceedings. 2013 ;[citado 2026 jan. 08 ] Available from: https://doi.org/10.1145/2483760.2492400 - Coordinating exceptions of Java systems: implementation and formal verification
- Using formal verification to reduce test space of fault-tolerant programs
- OConGraX: automatically generating data-flow test cases for fault-tolerant systems
- 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
- Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
Informações sobre o DOI: 10.1145/2483760.2492400 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
