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: 24 set. 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 set. 24 ] 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 set. 24 ] Available from: https://doi.org/10.1007/s10009-012-0240-3 - Muta-Pro
- Muta-Pro: towards the definition of a mutation testing process
- Experimental evaluation of coverage criteria for FSM-based testing
- A tranformational language for mutant description
- Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs
- An assessment of extended finite state machine test selection criteria
- Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers
- Towards deriving test sequences by model checking
- Conformance testing by model checking timed extended finite state machines
- Sim/CPN: a web-based simulator for coloured petri nets
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