Experimental comparison of test case generation methods for finite state machines (2012)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.1109/ICST.2012.140
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: IEEE Computer Society
- Publisher place: Los Alamitos, CA
- Date published: 2012
- ISBN: 9780769546704
- Source:
- Título: Proceedings
- Conference titles: International Conference on Software Testing, Verification and Validation - ICST 2012
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Experimental comparison of test case generation methods for finite state machines. 2012, Anais.. Los Alamitos, CA: IEEE Computer Society, 2012. Disponível em: https://doi.org/10.1109/ICST.2012.140. Acesso em: 20 jan. 2026. -
APA
Endo, A. T., & Simão, A. da S. (2012). Experimental comparison of test case generation methods for finite state machines. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/ICST.2012.140 -
NLM
Endo AT, Simão A da S. Experimental comparison of test case generation methods for finite state machines [Internet]. Proceedings. 2012 ;[citado 2026 jan. 20 ] Available from: https://doi.org/10.1109/ICST.2012.140 -
Vancouver
Endo AT, Simão A da S. Experimental comparison of test case generation methods for finite state machines [Internet]. Proceedings. 2012 ;[citado 2026 jan. 20 ] Available from: https://doi.org/10.1109/ICST.2012.140 - Active inference of extended finite state models of software systems
- Formal mutation testing for Circus
- To test or not to test
- Active inference of EFSMs without reset
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Generating asynchronous test cases from test purposes
- Formal methods: foundations and applications
- Checking sequence generation using state distinguishing subsequences
- Model-based testing of web service compositions
- Model partitions and compact test case suites
Informações sobre o DOI: 10.1109/ICST.2012.140 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
