Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri (1994)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Source:
- Título: Anais
- Conference titles: Simposio Brasileiro de Engenharia de Software
-
ABNT
FABBRI, S C P F et al. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 20 jan. 2026. -
APA
Fabbri, S. C. P. F., Maldonado, J. C., Masiero, P. C., & Delamaro, M. E. (1994). Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. -
NLM
Fabbri SCPF, Maldonado JC, Masiero PC, Delamaro ME. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. Anais. 1994 ;[citado 2026 jan. 20 ] -
Vancouver
Fabbri SCPF, Maldonado JC, Masiero PC, Delamaro ME. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. Anais. 1994 ;[citado 2026 jan. 20 ] - Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao
- Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing
- Control and data flow structural testing criteria for aspect-oriented programs
- Teste de software OO: uma abordagem para a organização e o planejamento da atividade de teste
- Proteum /FSM: a tool to support finite state machine validation based on mutation testing
- Statecharts specifications: a family of coverage testing criteria. [CD ROM]
- Comparison of maintainability improvement by segmentation and reengineering - a case study
- SDProc/UML: integrating testing with object-oriented software development process. (CD-ROM)
- Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience
- Mutation testing applied to validate specifications based on statecharts
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
