Using adaptive sequences for learning non-resettable FSMs (2019)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; ANÁLISE DE ALGORITMOS
- Keywords: Query learning; FSM testing
- Language: Inglês
- Imprenta:
- Publisher: Microtome Publishing
- Publisher place: Brookline
- Date published: 2019
- Source:
- Título do periódico: Proceedings of Machine Learning Research : PMLR
- ISSN: 1938-7228
- Volume/Número/Paginação/Ano: v. 93, p. 30-43, 2019
- Conference titles: International Conference on Grammatical Inference - ICGI
-
ABNT
GROZ, Roland e BREMOND, Nicolas e SIMÃO, Adenilso da Silva. Using adaptive sequences for learning non-resettable FSMs. Proceedings of Machine Learning Research : PMLR. Brookline: Microtome Publishing. Disponível em: http://proceedings.mlr.press/v93/groz19a/groz19a.pdf. Acesso em: 13 ago. 2024. , 2019 -
APA
Groz, R., Bremond, N., & Simão, A. da S. (2019). Using adaptive sequences for learning non-resettable FSMs. Proceedings of Machine Learning Research : PMLR. Brookline: Microtome Publishing. Recuperado de http://proceedings.mlr.press/v93/groz19a/groz19a.pdf -
NLM
Groz R, Bremond N, Simão A da S. Using adaptive sequences for learning non-resettable FSMs [Internet]. Proceedings of Machine Learning Research : PMLR. 2019 ; 93 30-43.[citado 2024 ago. 13 ] Available from: http://proceedings.mlr.press/v93/groz19a/groz19a.pdf -
Vancouver
Groz R, Bremond N, Simão A da S. Using adaptive sequences for learning non-resettable FSMs [Internet]. Proceedings of Machine Learning Research : PMLR. 2019 ; 93 30-43.[citado 2024 ago. 13 ] Available from: http://proceedings.mlr.press/v93/groz19a/groz19a.pdf - Generating reduced tests for FSMs using a search-based testing approach
- Formal mutation testing for Circus
- To test or not to test
- Generating complete and finite test suite for ioco: is it possible?
- On reducing test length for FSMs with extra states
- Minimização de conjuntos de casos de teste por meio de condições de suficiência
- From test purposes to asynchronous test cases
- Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]
- Hierarchical featured state machines
- hW-inference: a heuristic approach to retrieve models through black box testing
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2937814.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas