Model partitions and compact test case suites (2012)
- Authors:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.1142/S0129054112500013
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Source:
- Título: International Journal of Foundations of Computer Science
- ISSN: 0129-0541
- Volume/Número/Paginação/Ano: v. 23, n. 1, p. 147-172, 2012
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
BONIFACIO, Adilson Luiz e MOURA, Arnaldo Vieira e SIMÃO, Adenilso da Silva. Model partitions and compact test case suites. International Journal of Foundations of Computer Science, v. 23, n. 1, p. 147-172, 2012Tradução . . Disponível em: https://doi.org/10.1142/S0129054112500013. Acesso em: 21 jan. 2026. -
APA
Bonifacio, A. L., Moura, A. V., & Simão, A. da S. (2012). Model partitions and compact test case suites. International Journal of Foundations of Computer Science, 23( 1), 147-172. doi:10.1142/S0129054112500013 -
NLM
Bonifacio AL, Moura AV, Simão A da S. Model partitions and compact test case suites [Internet]. International Journal of Foundations of Computer Science. 2012 ; 23( 1): 147-172.[citado 2026 jan. 21 ] Available from: https://doi.org/10.1142/S0129054112500013 -
Vancouver
Bonifacio AL, Moura AV, Simão A da S. Model partitions and compact test case suites [Internet]. International Journal of Foundations of Computer Science. 2012 ; 23( 1): 147-172.[citado 2026 jan. 21 ] Available from: https://doi.org/10.1142/S0129054112500013 - 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
- Experimental comparison of test case generation methods for finite state machines
Informações sobre o DOI: 10.1142/S0129054112500013 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
