Model-based testing of service-oriented applications via state models (2011)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.1109/SCC.2011.77
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO; SISTEMAS DISTRIBUÍDOS; PROGRAMAÇÃO CONCORRENTE
- Language: Inglês
- Imprenta:
- Publisher: IEEE Computer Society
- Publisher place: Los Alamitos, CA
- Date published: 2011
- ISBN: 9780769544625
- Source:
- Título: Proceedings
- Conference titles: IEEE International Conference on Services Computing
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Model-based testing of service-oriented applications via state models. 2011, Anais.. Los Alamitos, CA: IEEE Computer Society, 2011. Disponível em: https://doi.org/10.1109/SCC.2011.77. Acesso em: 05 out. 2024. -
APA
Endo, A. T., & Simão, A. da S. (2011). Model-based testing of service-oriented applications via state models. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/SCC.2011.77 -
NLM
Endo AT, Simão A da S. Model-based testing of service-oriented applications via state models [Internet]. Proceedings. 2011 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.1109/SCC.2011.77 -
Vancouver
Endo AT, Simão A da S. Model-based testing of service-oriented applications via state models [Internet]. Proceedings. 2011 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.1109/SCC.2011.77 - Inferring FSM models of systems without reset
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Generating asynchronous test cases from test purposes
- Formal methods: foundations and applications
- Checking sequence generation using state distinguishing subsequences
- Model-based testing of web service compositions
- Experimental comparison of test case generation methods for finite state machines
- Model partitions and compact test case suites
- A holistic approach to model-based testing of Web service compositions
- Iterative minimization of partial finite state machines
Informações sobre o DOI: 10.1109/SCC.2011.77 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas