Coloured petri nets: safety analysis using mutation testing (2003)
- Authors:
- Autor USP: MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Trabalhos Apresentados
- Conference titles: Workshop em Segurança (Safety Workshop): Sistemas Computacionais em Aplicações Críticas
-
ABNT
SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Coloured petri nets: safety analysis using mutation testing. 2003, Anais.. São Paulo: EPUSP, 2003. . Acesso em: 19 abr. 2024. -
APA
Simão, A. da S., & Maldonado, J. C. (2003). Coloured petri nets: safety analysis using mutation testing. In Trabalhos Apresentados. São Paulo: EPUSP. -
NLM
Simão A da S, Maldonado JC. Coloured petri nets: safety analysis using mutation testing. Trabalhos Apresentados. 2003 ;[citado 2024 abr. 19 ] -
Vancouver
Simão A da S, Maldonado JC. Coloured petri nets: safety analysis using mutation testing. Trabalhos Apresentados. 2003 ;[citado 2024 abr. 19 ] - 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