Iterative minimization of partial finite state machines (2013)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.2478/s13537-013-0106-0
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher place: Varsóvia , Polônia
- Date published: 2013
- Source:
- Título do periódico: Central European Journal of Computer Science
- ISSN: 1896-1533
- Volume/Número/Paginação/Ano: v. 3, n. 2 , p. 91-103, jun 2013
- 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
ALBERTO, Alex D. B e SIMÃO, Adenilso da Silva. Iterative minimization of partial finite state machines. Central European Journal of Computer Science, v. 3, n. 2 , p. 91-103, 2013Tradução . . Disponível em: https://doi.org/10.2478/s13537-013-0106-0. Acesso em: 24 abr. 2024. -
APA
Alberto, A. D. B., & Simão, A. da S. (2013). Iterative minimization of partial finite state machines. Central European Journal of Computer Science, 3( 2 ), 91-103. doi:10.2478/s13537-013-0106-0 -
NLM
Alberto ADB, Simão A da S. Iterative minimization of partial finite state machines [Internet]. Central European Journal of Computer Science. 2013 ; 3( 2 ): 91-103.[citado 2024 abr. 24 ] Available from: https://doi.org/10.2478/s13537-013-0106-0 -
Vancouver
Alberto ADB, Simão A da S. Iterative minimization of partial finite state machines [Internet]. Central European Journal of Computer Science. 2013 ; 3( 2 ): 91-103.[citado 2024 abr. 24 ] Available from: https://doi.org/10.2478/s13537-013-0106-0 - Checking sequence generation using state distinguishing subsequences
- Generating asynchronous test cases from test purposes
- Model-based testing of web service compositions
- Model partitions and compact test case suites
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Formal methods: foundations and applications
- Experimental comparison of test case generation methods for finite state machines
- A holistic approach to model-based testing of Web service compositions
- Generalizing the DS-Methods for testing non-deterministic FSMs
- Test method and test apparatus for testing a distributed system
Informações sobre o DOI: 10.2478/s13537-013-0106-0 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas