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: 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: 29 jan. 2026. -
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 2026 jan. 29 ] -
Vancouver
Simão A da S, Maldonado JC. Coloured petri nets: safety analysis using mutation testing. Trabalhos Apresentados. 2003 ;[citado 2026 jan. 29 ] - Visao sobre a aplicacao da analise de mutantes
- Criterio da analise de mutantes na validacao de sistemas reativos
- Exploring learning objects under conceptual, instructional and didactic perspectives
- Replicated studies: building a body of knowledge about software reading techniques
- Introducing testing practices into objects and design course
- A family of coverage testing criteria for coloured petri nets
- Mutation testing applied to validate SDL specifications
- Teste estrutural de integração de programas de aplicação de banco de dados relacional
- Grandes desafios da pesquisa em computação. [Depoimento]
- Proteum-RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
