Proteum/ST: a tool support statecharts validation based on mutation testing (2001)
- Authors:
- USP affiliated authors: MALDONADO, JOSE CARLOS - ICMC ; MASIERO, PAULO CESAR - ICMC
- Unidade: ICMC
- Assunto: SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: Instituto Tecnológico de Costa Rica/Centro de Informacio Tecnologia
- Publisher place: Cartago
- Date published: 2001
- ISBN: 996832000
- Source:
- Título do periódico: Ideas 2001: memorias
- Conference titles: Jornadas Iberoamericanas de Ingenieria de Requisitos y Ambientes de Software
-
ABNT
SUGETA, Tatiana et al. Proteum/ST: a tool support statecharts validation based on mutation testing. 2001, Anais.. Cartago: Instituto Tecnológico de Costa Rica/Centro de Informacio Tecnologia, 2001. . Acesso em: 20 abr. 2024. -
APA
Sugeta, T., Maldonado, J. C., Masiero, P. C., & Fabbri, S. C. P. F. (2001). Proteum/ST: a tool support statecharts validation based on mutation testing. In Ideas 2001: memorias. Cartago: Instituto Tecnológico de Costa Rica/Centro de Informacio Tecnologia. -
NLM
Sugeta T, Maldonado JC, Masiero PC, Fabbri SCPF. Proteum/ST: a tool support statecharts validation based on mutation testing. Ideas 2001: memorias. 2001 ;[citado 2024 abr. 20 ] -
Vancouver
Sugeta T, Maldonado JC, Masiero PC, Fabbri SCPF. Proteum/ST: a tool support statecharts validation based on mutation testing. Ideas 2001: memorias. 2001 ;[citado 2024 abr. 20 ] - Execucao programada de statecharts
- Mutation testing applied to validate specifications based on statecharts
- 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
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Teste de unidade de programas orientados a aspectos
- Reachability tree for statecharts and analysis of some properties
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas