Validação de especificações formais com a aplicação do critério análise de mutantes (1998)
- Authors:
- USP affiliated authors: MALDONADO, JOSE CARLOS - ICMC ; MASIERO, PAULO CESAR - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: Instituto de Informática da UFRGS
- Publisher place: Porto Alegre
- Date published: 1998
- Source:
- Título: Anais
- Conference titles: Workshop Brasileiro de Métodos Formais
-
ABNT
MALDONADO, José Carlos e FABBRI, Sandra C P F e MASIERO, Paulo Cesar. Validação de especificações formais com a aplicação do critério análise de mutantes. 1998, Anais.. Porto Alegre: Instituto de Informática da UFRGS, 1998. . Acesso em: 17 fev. 2026. -
APA
Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1998). Validação de especificações formais com a aplicação do critério análise de mutantes. In Anais. Porto Alegre: Instituto de Informática da UFRGS. -
NLM
Maldonado JC, Fabbri SCPF, Masiero PC. Validação de especificações formais com a aplicação do critério análise de mutantes. Anais. 1998 ;[citado 2026 fev. 17 ] -
Vancouver
Maldonado JC, Fabbri SCPF, Masiero PC. Validação de especificações formais com a aplicação do critério análise de mutantes. Anais. 1998 ;[citado 2026 fev. 17 ] - 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
- 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
- Evaluation studies of software testing research in the brazilian symposium on software engineering
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
