Proteum /FSM: a tool to support finite state machine validation based on mutation testing (1999)
- Authors:
- USP affiliated authors: MALDONADO, JOSE CARLOS - ICMC ; MASIERO, PAULO CESAR - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: IEEE Computer Society
- Publisher place: Los Alamitos
- Date published: 1999
- Source:
- Título do periódico: Proceedings
- Conference titles: International Conference of the Chilean Computer Science Society
-
ABNT
FABBRI, Sandra Camargo Pinto Ferraz et al. Proteum /FSM: a tool to support finite state machine validation based on mutation testing. 1999, Anais.. Los Alamitos: IEEE Computer Society, 1999. . Acesso em: 19 set. 2024. -
APA
Fabbri, S. C. P. F., Delamaro, M. E., Maldonado, J. C., & Masiero, P. C. (1999). Proteum /FSM: a tool to support finite state machine validation based on mutation testing. In Proceedings. Los Alamitos: IEEE Computer Society. -
NLM
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum /FSM: a tool to support finite state machine validation based on mutation testing. Proceedings. 1999 ;[citado 2024 set. 19 ] -
Vancouver
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum /FSM: a tool to support finite state machine validation based on mutation testing. Proceedings. 1999 ;[citado 2024 set. 19 ] - Dynamic properties of statecharts: a reachability tree and analysis of some properties
- Mutation analysis testing for finite state machines
- Analise de mutantes baseada em maquinas de estado finito
- Teste de software OO: uma abordagem para a organização e o planejamento da atividade de teste
- 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)
- 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
- Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas