Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs (2009)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Português
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2009
- Source:
- Título: Anais
- Conference titles: Simpósio Brasileiro de Métodos Formais - SBMF
-
ABNT
DUSSE, Flávio e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. 2009, Anais.. Porto Alegre: SBC, 2009. . Acesso em: 03 out. 2024. -
APA
Dusse, F., Simão, A. da S., & Maldonado, J. C. (2009). Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. In Anais. Porto Alegre: SBC. -
NLM
Dusse F, Simão A da S, Maldonado JC. Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. Anais. 2009 ;[citado 2024 out. 03 ] -
Vancouver
Dusse F, Simão A da S, Maldonado JC. Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. Anais. 2009 ;[citado 2024 out. 03 ] - Muta-Pro
- Muta-Pro: towards the definition of a mutation testing process
- Experimental evaluation of coverage criteria for FSM-based testing
- Model-based testing of software and systems: recent advances and challenges
- A tranformational language for mutant description
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas