Validation of statecharts based on programmed execution (1995)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Source:
- Título: Journal of Computing and Information
- ISSN: 1201-8511
- Volume/Número/Paginação/Ano: v. 1, n. 2, p. 870-885, 1995
-
ABNT
CANGUSSU, João Wagner Lima et al. Validation of statecharts based on programmed execution. Journal of Computing and Information, v. 1, n. 2, p. 870-885, 1995Tradução . . Acesso em: 04 out. 2024. -
APA
Cangussu, J. W. L., Penteado, R. A. D., Masiero, P. C., & Maldonado, J. C. (1995). Validation of statecharts based on programmed execution. Journal of Computing and Information, 1( 2), 870-885. -
NLM
Cangussu JWL, Penteado RAD, Masiero PC, Maldonado JC. Validation of statecharts based on programmed execution. Journal of Computing and Information. 1995 ; 1( 2): 870-885.[citado 2024 out. 04 ] -
Vancouver
Cangussu JWL, Penteado RAD, Masiero PC, Maldonado JC. Validation of statecharts based on programmed execution. Journal of Computing and Information. 1995 ; 1( 2): 870-885.[citado 2024 out. 04 ] - 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
- 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)
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas