Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Correlating automatic static analysis and mutation testing towards incremental strategiesClaudio A. Araújo (Claudio Antônio de Araújo) Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo VincenziJournal of Software Engineering Research and Development Heidelberg : SpringerOpen v. 4, n. 5, p. 1-32, Nov. 2016Heidelberg 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2791846 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Investigating the correspondence between mutations and static warningsCláudio Antônio de Araújo Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi; Brazilian Symposium on Software Engineering - SBES 2015 (29. 2015 Belo Horizonte, MG)Proceedings Piscataway, NJ : IEEE, 2015Piscataway, NJ IEEE 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2751900 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Uma investigação inicial sobre a correlação entre defeitos de software simulados por mutantes e avisos relatados por uma ferramenta de análise estáticaCláudio Antônio de Araújo Márcio Eduardo Delamaro; Auri Marcelo Rizzo Vincenzi; Brazilian Workshop on Systematic and Automated Software Testing - SAST 2014 (8. 2014 Maceió, Alagoas); Brazilian Conference on Software: theory and practice- CBSoft 2014 (5. 2014 Maceió, Alagoas)Proceedings Porto Alegre, RS : SBC, 2014Porto Alegre, RS SBC 2014Acesso online. A biblioteca também possui exemplares impressos. |