A generalized model-based test generation method (2008)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: IEEE Computer Society
- Publisher place: Los Alamitos
- Date published: 2008
- Source:
- Título do periódico: Proceedings
- Conference titles: IEEE International Conference on Software Engineering and Formal Methods
-
ABNT
BONIFÁCIO, Adilson Luiz e MOURA, Arnaldo Vieira e SIMÃO, Adenilso da Silva. A generalized model-based test generation method. 2008, Anais.. Los Alamitos: IEEE Computer Society, 2008. Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'. Acesso em: 19 abr. 2024. -
APA
Bonifácio, A. L., Moura, A. V., & Simão, A. da S. (2008). A generalized model-based test generation method. In Proceedings. Los Alamitos: IEEE Computer Society. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008' -
NLM
Bonifácio AL, Moura AV, Simão A da S. A generalized model-based test generation method [Internet]. Proceedings. 2008 ;[citado 2024 abr. 19 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008' -
Vancouver
Bonifácio AL, Moura AV, Simão A da S. A generalized model-based test generation method [Internet]. Proceedings. 2008 ;[citado 2024 abr. 19 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008' - Contribuições para o teste de software
- Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas
- Teste baseado em modelos
- Model-based testing of service-oriented applications via state models
- Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados
- This volume contains the short papers presented at SBMF 2011... [Prefácio]
- Proceedings of the 14. Brazilian Symposium on Formal Methods - SBMF 2011: short papers
- Towards incremental FSM-based testing of software product lines
- Fault domain-based testing in imperfect situations: a heuristic approach and case studies
- Fault-based testing for refinement in CSP
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas