Active inference of extended finite state models of software systems (2023)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Subjects: APRENDIZAGEM; PROGRAMAÇÃO GENÉTICA; INFERÊNCIA; ENGENHARIA DE SOFTWARE
- Keywords: Query learning; Extended Automata
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: Microtome Publishing
- Publisher place: Brookline
- Date published: 2023
- Source:
- Título do periódico: Proceedings of Machine Learning Research - PMLR
- ISSN: 2640-3498
- Volume/Número/Paginação/Ano: v. 217, p. 265-269, 2023
- Conference titles: International Conference on Grammatical Inference - ICGI
-
ABNT
GROZ, Roland et al. Active inference of extended finite state models of software systems. Proceedings of Machine Learning Research - PMLR. Brookline: Microtome Publishing. Disponível em: https://proceedings.mlr.press/v217/groz23a.html. Acesso em: 04 jun. 2024. , 2023 -
APA
Groz, R., Oriat, C., Vega, G., Simão, A. da S., Foster, M., & Walkinshaw, N. (2023). Active inference of extended finite state models of software systems. Proceedings of Machine Learning Research - PMLR. Brookline: Microtome Publishing. Recuperado de https://proceedings.mlr.press/v217/groz23a.html -
NLM
Groz R, Oriat C, Vega G, Simão A da S, Foster M, Walkinshaw N. Active inference of extended finite state models of software systems [Internet]. Proceedings of Machine Learning Research - PMLR. 2023 ; 217 265-269.[citado 2024 jun. 04 ] Available from: https://proceedings.mlr.press/v217/groz23a.html -
Vancouver
Groz R, Oriat C, Vega G, Simão A da S, Foster M, Walkinshaw N. Active inference of extended finite state models of software systems [Internet]. Proceedings of Machine Learning Research - PMLR. 2023 ; 217 265-269.[citado 2024 jun. 04 ] Available from: https://proceedings.mlr.press/v217/groz23a.html - Contribuições para o teste de software
- Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas
- Teste baseado em modelos
- Model-based testing of service-oriented applications via state models
- 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
- 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
- Towards incremental FSM-based testing of software product lines
- Fault domain-based testing in imperfect situations: a heuristic approach and case studies
- Fault-based testing for refinement in CSP
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 3144941.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
