Towards verification and testing of Java programs (2008)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; NUNES, PAULO ROBERTO DE ARAUJO FRANÇA - IME ; XAVIER, KLEBER DA SILVA - IME
- Unidade: IME
- DOI: 10.1145/1363686.1363858
- Subjects: JAVA; PROGRAMAÇÃO ORIENTADA A OBJETOS; TESTE E AVALIAÇÃO DE SOFTWARE
- Keywords: program verification; object-oriented testing
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Symposium on Applied Computing - SAC
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
MELO, Ana Cristina Vieira de e NUNES, Paulo Roberto de Araújo França e XAVIER, Kleber da Silva. Towards verification and testing of Java programs. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363858. Acesso em: 09 jan. 2026. -
APA
Melo, A. C. V. de, Nunes, P. R. de A. F., & Xavier, K. da S. (2008). Towards verification and testing of Java programs. In Proceedings. New York: ACM. doi:10.1145/1363686.1363858 -
NLM
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1145/1363686.1363858 -
Vancouver
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1145/1363686.1363858 - Using formal verification to reduce test space of fault-tolerant 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
- Validação de padrões de web services transacionais
- Business rules: from SBVR to information systems
- Exercising Java exceptions using Java Pathfinder and program instrumentation
- Testing Java exceptions: an instrumentation technique
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A formal environment model for multi-agent systems
Informações sobre o DOI: 10.1145/1363686.1363858 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
