Reachability tree for statecharts and analysis of some properties (1994)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- DOI: 10.1016/0950-5849(94)90021-3
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Source:
- Título: Information and Software Technology
- Volume/Número/Paginação/Ano: v.36, n.10, p.615-24, 1994
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
MASIERO, Paulo Cesar e MALDONADO, José Carlos e BOAVENTURA, I G. Reachability tree for statecharts and analysis of some properties. Information and Software Technology, v. 36, n. 10, p. 615-24, 1994Tradução . . Disponível em: https://doi.org/10.1016/0950-5849(94)90021-3. Acesso em: 18 fev. 2026. -
APA
Masiero, P. C., Maldonado, J. C., & Boaventura, I. G. (1994). Reachability tree for statecharts and analysis of some properties. Information and Software Technology, 36( 10), 615-24. doi:10.1016/0950-5849(94)90021-3 -
NLM
Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2026 fev. 18 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3 -
Vancouver
Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2026 fev. 18 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3 - Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes
- Mgaset - modulo de geracao de sequencias de teste
- Static analysis of java bytecode for domain-specific software testing
- Proteum: a family of tools to support specification and program testing based on mutation
- Teste de unidade de programas orientados a aspectos
- Proteum: a family of tools to support specification and program testing based on mutation
- Evaluation studies of software testing research in the brazilian symposium on software engineering
Informações sobre o DOI: 10.1016/0950-5849(94)90021-3 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
