Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes (1995)
- 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 do periódico: Anais
- Conference titles: Simposio Brasileiro de Engenharia de Software
-
ABNT
FABBRI, S C P F et al. Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. 1995, Anais.. Recife: Ufpe, 1995. . Acesso em: 24 abr. 2024. -
APA
Fabbri, S. C. P. F., Maldonado, J. C., Delamaro, M. E., & Masiero, P. C. (1995). Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. In Anais. Recife: Ufpe. -
NLM
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. Anais. 1995 ;[citado 2024 abr. 24 ] -
Vancouver
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. Anais. 1995 ;[citado 2024 abr. 24 ] - Execucao programada de statecharts
- Mutation testing applied to validate specifications based on statecharts
- Proteum/ST: a tool support statecharts validation based on mutation testing
- Teste de software orientado a objetos e a aspectos: teoria e prática
- Evaluation studies of software testing research in the brazilian symposium on software engineering
- Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
- Dynamic properties of statecharts: a reachability tree and analysis of some properties
- Statecharts specifications: a family of coverage testing criteria. [CD ROM]
- Teste de software OO: uma abordagem para a organização e o planejamento da atividade de teste
- Comparison of maintainability improvement by segmentation and reengineering - a case study
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas