Dynamic properties of statecharts: a reachability tree and analysis of some properties (1992)
- Autores:
- Autores USP: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Idioma: Inglês
- Imprenta:
- Editora: Universidad de las Palmas
- Local: Espanha
- Data de publicação: 1992
- Fonte:
- Título do periódico: Actas
- Nome do evento: Conferencia Latinoamericana de Informatica
-
ABNT
MASIERO, Paulo Cesar e BOAVENTURA, I G e MALDONADO, José Carlos. Dynamic properties of statecharts: a reachability tree and analysis of some properties. 1992, Anais.. Espanha: Universidad de las Palmas, 1992. . Acesso em: 18 set. 2024. -
APA
Masiero, P. C., Boaventura, I. G., & Maldonado, J. C. (1992). Dynamic properties of statecharts: a reachability tree and analysis of some properties. In Actas. Espanha: Universidad de las Palmas. -
NLM
Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2024 set. 18 ] -
Vancouver
Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2024 set. 18 ] - 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
- Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas