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 et al. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf. Acesso em: 26 abr. 2024. , 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. Recuperado de https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf -
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste [Internet]. 1994 ;[citado 2024 abr. 26 ] Available from: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf -
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste [Internet]. 1994 ;[citado 2024 abr. 26 ] Available from: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.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 | |
---|---|---|---|
RT_27.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas