Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste (1994)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: Icmsc-Usp
- Publisher place: Sao Carlos
- Date published: 1994
-
ABNT
NAKAZATO, K K; MALDONADO, José Carlos; FABBRI, S C P F; MASIERO, Paulo Cesar. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. [S.l: s.n.], 1994. -
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. Sao Carlos: Icmsc-Usp. -
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. 1994 ; -
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. 1994 ; - Proteum: a family of tools to support specification and program testing based on mutation
- Teste de unidade de programas orientados a aspectos
- Static analysis of java bytecode for domain-specific software testing
- Validação de especificações formais com a aplicação do critério análise de mutantes
- 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
- Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences
- Reachability tree for statechrts and analysis of some properties
- Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito
- Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas