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
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 10 jan. 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 jan. 10 ] 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 jan. 10 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3 - 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
- Formal mutation testing for Circus
- To test or not to test
- Inferring FSM models of systems without reset
- Generating reduced tests for FSMs using a search-based testing approach
Informações sobre o DOI: 10.1007/978-981-99-7584-6_3 (Fonte: oaDOI API)
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
