Generating complete and finite test suite for ioco: is it possible? (2014)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.4204/EPTCS.141
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: Open Publishing Association
- Publisher place: Dübendorf, Suiça
- Date published: 2014
- Source:
- Conference titles: Workshop on Model-Based Testing
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-nd
-
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Generating complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 12 jan. 2026. -
APA
Simão, A. da S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141 -
NLM
Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2026 jan. 12 ] Available from: https://doi.org/10.4204/EPTCS.141 -
Vancouver
Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2026 jan. 12 ] Available from: https://doi.org/10.4204/EPTCS.141 - An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods
- JPlavisFSM: manual de instruções
- Active inference of extended finite state models of software systems
- Active inference of EFSMs without reset
- Aplicação de simulated annealing para descobrir mutações drivers
- Abordagens computacionais para a descoberta de genes significativos para o câncer
- Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
- Comments on "On minimizing the lengths of checking sequences"
- 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
Informações sobre o DOI: 10.4204/EPTCS.141 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
