Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes (1994)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Source:
- Título: Anais
- Conference titles: Simposio Brasileiro de Redes de Computadores
-
ABNT
FABBRI, S C P F et al. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 22 fev. 2026. -
APA
Fabbri, S. C. P. F., Delamaro, M. E., Maldonado, J. C., & Masiero, P. C. (1994). Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. -
NLM
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. Anais. 1994 ;[citado 2026 fev. 22 ] -
Vancouver
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. Anais. 1994 ;[citado 2026 fev. 22 ] - Reachability tree for statecharts and analysis of some properties
- Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes
- Mgaset - modulo de geracao de sequencias de teste
- Static analysis of java bytecode for domain-specific software testing
- Proteum: a family of tools to support specification and program testing based on mutation
- Teste de unidade de programas orientados a aspectos
- Proteum: a family of tools to support specification and program testing based on mutation
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
