Cláudio Antônio de Araújo

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 3

Top Topics

Correspondence Matching

Static Analysis

Top Venues

J. Softw. Eng. Res. Dev.

Publications

Vinícius Barcelos Silva, Cláudio Antônio de Araújo, Edmundo Sérgio Spoto, Auri M. R. Vincenzi
Incremental Strategy for Applying Mutation Operators Emphasizing Faults Difficult to be Detected by Automated Static Analyser. SBES (2017)
Cláudio Antônio de Araújo, Márcio Eduardo Delamaro, José Carlos Maldonado, Auri M. R. Vincenzi
Correlating automatic static analysis and mutation testing: towards incremental strategies. J. Softw. Eng. Res. Dev. 4 (2016)
Cláudio Antônio de Araújo, Márcio Eduardo Delamaro, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi
Investigating the Correspondence between Mutations and Static Warnings. SBES (2015)