Proteum-RS/PN: a tool to support edition, simulation and validation of petri nets based on mutation testing (2000)
- Authors:
- Autor USP: MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: UFRJ/CEFET
- Publisher place: João Pessoa
- Date published: 2000
- Source:
- Título do periódico: Anais
- Conference titles: Simposio Brasileiro de Banco de Dados
-
ABNT
SIMÃO, Adenilso da Silva e MALDONADO, José Carlos e FABBRI, Sandra Camargo Pinto Ferraz. Proteum-RS/PN: a tool to support edition, simulation and validation of petri nets based on mutation testing. 2000, Anais.. João Pessoa: UFRJ/CEFET, 2000. . Acesso em: 25 abr. 2024. -
APA
Simão, A. da S., Maldonado, J. C., & Fabbri, S. C. P. F. (2000). Proteum-RS/PN: a tool to support edition, simulation and validation of petri nets based on mutation testing. In Anais. João Pessoa: UFRJ/CEFET. -
NLM
Simão A da S, Maldonado JC, Fabbri SCPF. Proteum-RS/PN: a tool to support edition, simulation and validation of petri nets based on mutation testing. Anais. 2000 ;[citado 2024 abr. 25 ] -
Vancouver
Simão A da S, Maldonado JC, Fabbri SCPF. Proteum-RS/PN: a tool to support edition, simulation and validation of petri nets based on mutation testing. Anais. 2000 ;[citado 2024 abr. 25 ] - 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