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 do periódico: 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 assinatura
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: bronze
-
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: 24 abr. 2024. -
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 2024 abr. 24 ] 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 2024 abr. 24 ] Available from: https://doi.org/10.1093/comjnl/bxy046 - Checking sequence generation using state distinguishing subsequences
- Generating asynchronous test cases from test purposes
- Model-based testing of web service compositions
- Model partitions and compact test case suites
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Formal methods: foundations and applications
- Experimental comparison of test case generation methods for finite state machines
- A holistic approach to model-based testing of Web service compositions
- Iterative minimization of partial finite state machines
- Generalizing the DS-Methods for testing non-deterministic FSMs
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