Proteum: a family of tools to support specification and program testing based on mutation (2000)
- Authors:
- USP affiliated authors: MALDONADO, JOSE CARLOS - ICMC ; MASIERO, PAULO CESAR - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: IEEE Reliability Society
- Date published: 2000
- Source:
- Título do periódico: Proceedings
- Conference titles: Mutation 2000 Symposium
-
ABNT
MALDONADO, José Carlos et al. Proteum: a family of tools to support specification and program testing based on mutation. 2000, Anais.. [S.l.]: IEEE Reliability Society, 2000. . Acesso em: 01 maio 2024. -
APA
Maldonado, J. C., Delamaro, M. E., Fabbri, S. C. P. F., Simão, A. da S., Sugeta, T., Vincenzi, A. M., & Masiero, P. C. (2000). Proteum: a family of tools to support specification and program testing based on mutation. In Proceedings. IEEE Reliability Society. -
NLM
Maldonado JC, Delamaro ME, Fabbri SCPF, Simão A da S, Sugeta T, Vincenzi AM, Masiero PC. Proteum: a family of tools to support specification and program testing based on mutation. Proceedings. 2000 ;[citado 2024 maio 01 ] -
Vancouver
Maldonado JC, Delamaro ME, Fabbri SCPF, Simão A da S, Sugeta T, Vincenzi AM, Masiero PC. Proteum: a family of tools to support specification and program testing based on mutation. Proceedings. 2000 ;[citado 2024 maio 01 ] - Execucao programada de statecharts
- Mutation testing applied to validate specifications based on statecharts
- Proteum/ST: a tool support statecharts validation based on mutation testing
- Teste de software orientado a objetos e a aspectos: teoria e prática
- Evaluation studies of software testing research in the brazilian symposium on software engineering
- Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Teste de unidade de programas orientados a aspectos
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas