Dynamic properties of statecharts: a reachability tree and analysis of some properties (1992)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: Universidad de las Palmas
- Publisher place: Espanha
- Date published: 1992
- Source:
- Título: Actas
- Conference titles: 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: 24 jan. 2026. -
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 2026 jan. 24 ] -
Vancouver
Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2026 jan. 24 ] - Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
- Mutation testing applied to validate specifications based on statecharts
- Execucao programada de statecharts
- Proteum/ST: a tool support statecharts validation based on mutation testing
- Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences
- 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]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
