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 do periódico: Information and Software Technology
- Volume/Número/Paginação/Ano: v.36, n.10, p.615-24, 1994
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 10 maio 2024. -
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 2024 maio 10 ] 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 2024 maio 10 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3 - Execucao programada de statecharts
- Mutation testing applied to validate specifications based on statecharts
- Proteum/ST: a tool support statecharts validation based on mutation testing
- Teste de software orientado a objetos e a aspectos: teoria e prática
- Evaluation studies of software testing research in the brazilian symposium on software engineering
- Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Teste de unidade de programas orientados a aspectos
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