Proteum-rs/st - uma ferramenta para apoiar a validação de especificações statecharts baseada no critério análise de mutantes (1999)
- Authors:
- Autor USP: MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: UFRGS/UFSC
- Publisher place: Florianóplis
- Date published: 1999
- Source:
- Título do periódico: Caderno de Ferramentas
- Conference titles: Simpósio Brasileiro de Engenharia de Software
-
ABNT
SUGETA, Tatiana e MALDONADO, José Carlos e FABBRI, Sandra Camargo Pinto Ferraz. Proteum-rs/st - uma ferramenta para apoiar a validação de especificações statecharts baseada no critério análise de mutantes. 1999, Anais.. Florianóplis: UFRGS/UFSC, 1999. . Acesso em: 27 abr. 2024. -
APA
Sugeta, T., Maldonado, J. C., & Fabbri, S. C. P. F. (1999). Proteum-rs/st - uma ferramenta para apoiar a validação de especificações statecharts baseada no critério análise de mutantes. In Caderno de Ferramentas. Florianóplis: UFRGS/UFSC. -
NLM
Sugeta T, Maldonado JC, Fabbri SCPF. Proteum-rs/st - uma ferramenta para apoiar a validação de especificações statecharts baseada no critério análise de mutantes. Caderno de Ferramentas. 1999 ;[citado 2024 abr. 27 ] -
Vancouver
Sugeta T, Maldonado JC, Fabbri SCPF. Proteum-rs/st - uma ferramenta para apoiar a validação de especificações statecharts baseada no critério análise de mutantes. Caderno de Ferramentas. 1999 ;[citado 2024 abr. 27 ] - Manual de configuracao de poke-tool
- Manual do usuario da poke-tool
- Poke-tool - estado atual de uma ferramenta para teste estrutural de software baseado em análise de fluxo de dados
- Um esquema de injeção de defeitos baseado em operadores de mutação
- Análise de mutantes e potenciais-usos: uma avaliação empírica
- Proteum-RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na analise de mutantes
- Aumentando a eficácia dos critérios estruturais através da utilização de critérios restritos
- Avaliação do impacto da minimização de conjuntos de casos de teste no custo e eficácia do critério análise de mutantes
- Uma estratégia de minimização de conjuntos de casos de teste para o critério análise de mutantes
- Avaliação da adequação de conjuntos de teste funcional utilizando critérios estruturais com o apoio de ferramentas de teste comerciais
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
