An experimental study for complete-IOCO theory (2020)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.1145/3425174.3425232
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; ESTUDO DE CASO; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
- Keywords: Experimental study; test case generation; complete IOCO; input/output transition systems
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PAIVA, Sofia Larissa da Costa e SIMÃO, Adenilso da Silva. An experimental study for complete-IOCO theory. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3425174.3425232. Acesso em: 11 jan. 2026. -
APA
Paiva, S. L. da C., & Simão, A. da S. (2020). An experimental study for complete-IOCO theory. In Proceedings. New York: ACM. doi:10.1145/3425174.3425232 -
NLM
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2026 jan. 11 ] Available from: https://doi.org/10.1145/3425174.3425232 -
Vancouver
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2026 jan. 11 ] Available from: https://doi.org/10.1145/3425174.3425232 - 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.1145/3425174.3425232 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3010145.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
