Muta-Pro: towards the definition of a mutation testing process (2006)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2006
- Source:
- Título: Journal of the Brazilian Computer Society
- Volume/Número/Paginação/Ano: v. 12, n.2, p. 49-61, 2006
-
ABNT
VINCENZI, Auri Marcelo Rizzo et al. Muta-Pro: towards the definition of a mutation testing process. Journal of the Brazilian Computer Society, v. 12, n. 2, p. 49-61, 2006Tradução . . Disponível em: https://www.scielo.br/j/jbcos/i/2006.v12n2/. Acesso em: 26 jan. 2026. -
APA
Vincenzi, A. M. R., Delamaro, M. E., Simão, A. da S., & Maldonado, J. C. (2006). Muta-Pro: towards the definition of a mutation testing process. Journal of the Brazilian Computer Society, 12( 2), 49-61. Recuperado de https://www.scielo.br/j/jbcos/i/2006.v12n2/ -
NLM
Vincenzi AMR, Delamaro ME, Simão A da S, Maldonado JC. Muta-Pro: towards the definition of a mutation testing process [Internet]. Journal of the Brazilian Computer Society. 2006 ; 12( 2): 49-61.[citado 2026 jan. 26 ] Available from: https://www.scielo.br/j/jbcos/i/2006.v12n2/ -
Vancouver
Vincenzi AMR, Delamaro ME, Simão A da S, Maldonado JC. Muta-Pro: towards the definition of a mutation testing process [Internet]. Journal of the Brazilian Computer Society. 2006 ; 12( 2): 49-61.[citado 2026 jan. 26 ] Available from: https://www.scielo.br/j/jbcos/i/2006.v12n2/ - Muta-Pro
- Experimental evaluation of coverage criteria for FSM-based testing
- Conformance testing by model checking timed extended finite state machines
- Sim/CPN: a web-based simulator for coloured petri nets
- 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
- On studying the effectiveness of extended finite state machine based test selection criteria
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
