Extending HSI test generation method for software product lines (2019)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; FRAGAL, VANDERSON HAFEMANN - ICMC
- Unidade: ICMC
- DOI: 10.1093/comjnl/bxy046
- Subjects: ENGENHARIA DE SOFTWARE; TESTE E AVALIAÇÃO DE SOFTWARE (DESENVOLVIMENTO;MODELOS); ARQUITETURA DE SOFTWARE
- Keywords: formal modeling; test case generation; software product line; featured finite state machine
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: The Computer Journal : Section A : Computer Science Theory, Methods and Tools
- ISSN: 0010-4620
- Volume/Número/Paginação/Ano: v. 62, n. 1, p. 109-129, Jan. 2019
- Status:
- Artigo possui acesso gratuito no site do editor (Bronze Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
FRAGAL, Vanderson Hafemann et al. Extending HSI test generation method for software product lines. The Computer Journal : Section A : Computer Science Theory, Methods and Tools, v. 62, n. Ja 2019, p. 109-129, 2019Tradução . . Disponível em: https://doi.org/10.1093/comjnl/bxy046. Acesso em: 09 abr. 2026. -
APA
Fragal, V. H., Simão, A. da S., Mousavi, M. R., & Turker, U. C. (2019). Extending HSI test generation method for software product lines. The Computer Journal : Section A : Computer Science Theory, Methods and Tools, 62( Ja 2019), 109-129. doi:10.1093/comjnl/bxy046 -
NLM
Fragal VH, Simão A da S, Mousavi MR, Turker UC. Extending HSI test generation method for software product lines [Internet]. The Computer Journal : Section A : Computer Science Theory, Methods and Tools. 2019 ; 62( Ja 2019): 109-129.[citado 2026 abr. 09 ] Available from: https://doi.org/10.1093/comjnl/bxy046 -
Vancouver
Fragal VH, Simão A da S, Mousavi MR, Turker UC. Extending HSI test generation method for software product lines [Internet]. The Computer Journal : Section A : Computer Science Theory, Methods and Tools. 2019 ; 62( Ja 2019): 109-129.[citado 2026 abr. 09 ] Available from: https://doi.org/10.1093/comjnl/bxy046 - Automatic generation of configurable test-suites for software product lines
- Generating reduced tests for FSMs using a search-based testing approach
- Test case generation by EFSM extracted from UML sequence diagrams
- Teste baseado em modelos
- Fault-based testing for refinement in CSP
- Towards incremental FSM-based testing of software product lines
- 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
- 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
- Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
