Proteum-RS/PN: uma ferramenta para apoiar a edição, simulação e validação de redes petri baseada no teste de mutação (2000)
- Authors:
- Autor USP: MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: UFRJ/CEFET
- Publisher place: João Pessoa
- Date published: 2000
- Source:
- Título do periódico: Anais
- Conference titles: Simpósio Brasileiro de Engenharia de Software
-
ABNT
SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Proteum-RS/PN: uma ferramenta para apoiar a edição, simulação e validação de redes petri baseada no teste de mutação. 2000, Anais.. João Pessoa: UFRJ/CEFET, 2000. . Acesso em: 28 mar. 2024. -
APA
Simão, A. da S., & Maldonado, J. C. (2000). Proteum-RS/PN: uma ferramenta para apoiar a edição, simulação e validação de redes petri baseada no teste de mutação. In Anais. João Pessoa: UFRJ/CEFET. -
NLM
Simão A da S, Maldonado JC. Proteum-RS/PN: uma ferramenta para apoiar a edição, simulação e validação de redes petri baseada no teste de mutação. Anais. 2000 ;[citado 2024 mar. 28 ] -
Vancouver
Simão A da S, Maldonado JC. Proteum-RS/PN: uma ferramenta para apoiar a edição, simulação e validação de redes petri baseada no teste de mutação. Anais. 2000 ;[citado 2024 mar. 28 ] - Antivirus para redes tem bom desempenho
- Influencia do numero de predicados na executabilidade de um caminho no contexto de teste baseado em fluxo de dados
- Caminhos nao executaveis no teste de integracao: caracterizacao, previsao e determinacao
- Nova maquina da microtec apresenta bom desempenho
- Poke-tool - uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
- Avaliacao do custo e eficacia do criterio analise de mutantes na atividade de teste de programas
- Modulo de geracao de sequencias de teste baseadas em maquinas de estado finito
- Program graph visualization
- Uma proposta de extensão da ferramenta POKE-TOOL para apoiar o tratamento de não executabilidade
- Data flow based integration testing
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas