Model-based test case generation from UML sequence diagrams using extended finite state machines (2021)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; ROCHA, MAURICIO RÊGO MOTA DA - ICMC
- Unidade: ICMC
- DOI: 10.1007/s11219-020-09531-0
- Subjects: AUTOMAÇÃO INDUSTRIAL; TESTE E AVALIAÇÃO DE SOFTWARE; ESTUDO DE CASO
- Keywords: Model-based testing; Model-driven engineering; Sequence diagram; Extended finite state machine; ModelJUnit; JUnit
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Software Quality Journal
- ISSN: 0963-9314
- Volume/Número/Paginação/Ano: v. 29, p. 597-627, 2021
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
ROCHA, Mauricio Rego Mota da e SIMÃO, Adenilso da Silva e SOUSA, Thiago. Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, v. 29, p. 597-627, 2021Tradução . . Disponível em: https://doi.org/10.1007/s11219-020-09531-0. Acesso em: 20 jan. 2026. -
APA
Rocha, M. R. M. da, Simão, A. da S., & Sousa, T. (2021). Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, 29, 597-627. doi:10.1007/s11219-020-09531-0 -
NLM
Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1007/s11219-020-09531-0 -
Vancouver
Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1007/s11219-020-09531-0 - Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
- Active inference of extended finite state models of software systems
- Formal mutation testing for Circus
- To test or not to test
- Active inference of EFSMs 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
Informações sobre o DOI: 10.1007/s11219-020-09531-0 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3024121_postprint.pdf | Direct link | |
 |
3024121.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
