Checking sequence generation using state distinguishing subsequences (2009)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: IEEE Computer Science
- Publisher place: Washington, DC
- Date published: 2009
- ISBN: 9780769536712
- Source:
- Título: Proceedings
- Conference titles: IEEE International Conference on Software Testing, Verification, and Validation Workshops
-
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, A. Checking sequence generation using state distinguishing subsequences. 2009, Anais.. Washington, DC: IEEE Computer Science, 2009. Disponível em: http://portal.acm.org/citation.cfm?id=1645074. Acesso em: 28 mar. 2026. -
APA
Simão, A. da S., & Petrenko, A. (2009). Checking sequence generation using state distinguishing subsequences. In Proceedings. Washington, DC: IEEE Computer Science. Recuperado de http://portal.acm.org/citation.cfm?id=1645074 -
NLM
Simão A da S, Petrenko A. Checking sequence generation using state distinguishing subsequences [Internet]. Proceedings. 2009 ;[citado 2026 mar. 28 ] Available from: http://portal.acm.org/citation.cfm?id=1645074 -
Vancouver
Simão A da S, Petrenko A. Checking sequence generation using state distinguishing subsequences [Internet]. Proceedings. 2009 ;[citado 2026 mar. 28 ] Available from: http://portal.acm.org/citation.cfm?id=1645074 - 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
