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
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 20 jan. 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 jan. 20 ] 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 jan. 20 ] Available from: https://doi.org/10.1093/comjnl/bxy046 - Automatic generation of configurable test-suites for software product lines
- 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.1093/comjnl/bxy046 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
