Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito (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 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: 14 maio 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 maio 14 ] 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 maio 14 ] 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
- Dynamic properties of statecharts: a reachability tree and analysis of some properties
- Statecharts specifications: a family of coverage testing criteria. [CD ROM]
- Teste de software OO: uma abordagem para a organização e o planejamento da atividade de teste
- Comparison of maintainability improvement by segmentation and reengineering - a case study
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
Relatorio Tecnico_25_1994... | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas