Estudo de teste de mutação para a linguagem standard ML (2004)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Source:
- Título: CLEI 2004
- Conference titles: Conferencia Latinoamericana en Informática
-
ABNT
YANO, Thaise e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Estudo de teste de mutação para a linguagem standard ML. 2004, Anais.. Arequipa: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2004. . Acesso em: 26 jan. 2026. -
APA
Yano, T., Simão, A. da S., & Maldonado, J. C. (2004). Estudo de teste de mutação para a linguagem standard ML. In CLEI 2004. Arequipa: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. -
NLM
Yano T, Simão A da S, Maldonado JC. Estudo de teste de mutação para a linguagem standard ML. CLEI 2004. 2004 ;[citado 2026 jan. 26 ] -
Vancouver
Yano T, Simão A da S, Maldonado JC. Estudo de teste de mutação para a linguagem standard ML. CLEI 2004. 2004 ;[citado 2026 jan. 26 ] - Muta-Pro: towards the definition of a mutation testing process
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
