Active inference of EFSMs without reset (2023)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.1007/978-981-99-7584-6_3
- Subjects: ALGORITMOS ÚTEIS E ESPECÍFICOS; ENGENHARIA REVERSA DE SOFTWARE; INFERÊNCIA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Lecture Notes in Computer Science - LNCS
- Volume/Número/Paginação/Ano: v. 14308, p. 29-46, 2023
- Conference titles: International Conference on Formal Engineering Methods - ICFEM
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
ABNT
FOSTER, Michael et al. Active inference of EFSMs without reset. Lecture Notes in Computer Science - LNCS. Singapura: Springer. Disponível em: https://doi.org/10.1007/978-981-99-7584-6_3. Acesso em: 09 abr. 2026. , 2023 -
APA
Foster, M., Groz, R., Oriat, C., Simão, A. da S., Vega, G., & Walkinshaw, N. (2023). Active inference of EFSMs without reset. Lecture Notes in Computer Science - LNCS. Singapura: Springer. doi:10.1007/978-981-99-7584-6_3 -
NLM
Foster M, Groz R, Oriat C, Simão A da S, Vega G, Walkinshaw N. Active inference of EFSMs without reset [Internet]. Lecture Notes in Computer Science - LNCS. 2023 ; 14308 29-46.[citado 2026 abr. 09 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3 -
Vancouver
Foster M, Groz R, Oriat C, Simão A da S, Vega G, Walkinshaw N. Active inference of EFSMs without reset [Internet]. Lecture Notes in Computer Science - LNCS. 2023 ; 14308 29-46.[citado 2026 abr. 09 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3 - 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
- Fault-based refinement-testing for CSP
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.
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3184799.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
