Model-based testing of software and systems: recent advances and challenges (2012)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- DOI: 10.1007/s10009-012-0240-3
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher place: Heidelberg
- Date published: 2012
- Source:
- Título do periódico: International Journal on Software Tools for Technology Transfer (STTT)
- ISSN: 1433-2779
- Volume/Número/Paginação/Ano: v. 14, n. 4, p. 383-386, jun 2012
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), v. 14, n. 4, p. 383-386, 2012Tradução . . Disponível em: https://doi.org/10.1007/s10009-012-0240-3. Acesso em: 23 abr. 2024. -
APA
Petrenko, A., Simão, A. da S., & Maldonado, J. C. (2012). Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), 14( 4), 383-386. doi:10.1007/s10009-012-0240-3 -
NLM
Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s10009-012-0240-3 -
Vancouver
Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s10009-012-0240-3 - Experimental evaluation of coverage criteria for FSM-based testing
- Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs
- A tranformational language for mutant description
- Muta-Pro
- Muta-Pro: towards the definition of a mutation testing process
- Estudo de teste de mutação para a linguagem standard ML
- Testing software and systems
- Plavis/FSM: an environment to integrate FSM-based testing tools
- Comparing finite state machine test coverage criteria
- On studying the effectiveness of extended finite state machine based test selection criteria
Informações sobre o DOI: 10.1007/s10009-012-0240-3 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
