Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito (1994)
- Autores:
- Autores USP: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Idioma: Português
- Imprenta:
- Editora: Icmsc-Usp
- Local: Sao Carlos
- Data de publicação: 1994
-
ABNT
NAKAZATO, K K et al. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf. Acesso em: 19 abr. 2024. , 1994 -
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf -
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito [Internet]. 1994 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf -
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito [Internet]. 1994 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf - 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
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | Relatorio Tecnico_25_1994... | Direct link |
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
