Correlating automatic static analysis and mutation testing: towards incremental strategies (2016)
- Authors:
- USP affiliated authors: DELAMARO, MÁRCIO EDUARDO - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- DOI: 10.1186/s40411-016-0031-8
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Keywords: Software testing; Warnings; Mutants; Static analysis; Mutation testing; Static analyzer evaluation
- Language: Inglês
- Imprenta:
- Publisher place: Heidelberg
- Date published: 2016
- Source:
- Título: Journal of Software Engineering Research and Development
- ISSN: 2195-1721
- Volume/Número/Paginação/Ano: v. 4, n. 5, p. 1-32, Nov. 2016
- Este artigo possui versão em acesso aberto
- URL de acesso aberto
- PDF de acesso aberto
- Versão do Documento: Versão publicada (Published version)
-
Status: Artigo publicado em periódico de acesso aberto (Gold Open Access) -
ABNT
ARAÚJO, Claudio A. et al. Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, v. No 2016, n. 5, p. 1-32, 2016Tradução . . Disponível em: https://doi.org/10.1186/s40411-016-0031-8. Acesso em: 15 mar. 2026. -
APA
Araújo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, No 2016( 5), 1-32. doi:10.1186/s40411-016-0031-8 -
NLM
Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.[citado 2026 mar. 15 ] Available from: https://doi.org/10.1186/s40411-016-0031-8 -
Vancouver
Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.[citado 2026 mar. 15 ] Available from: https://doi.org/10.1186/s40411-016-0031-8 - Introdução ao teste de software
- Functional, control and data flow, and mutation testing: theory and practice
- An experimental evaluation of peer testing in the context of the teaching of software testing
- Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática
- An experimental evaluation of peer testing in the context of the teaching of software testing
- Investigating the correspondence between mutations and static warnings
- A scoping study on the 25 years of research into software testing in Brazil and outlook on the future of the area
- Functional test data generation for Simulink-like models
- Introdução
- Guest editorial foreword for the special issue on automated software testing [Editorial]: trends and evidence
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
