I am always looking for colleagues to collaborate.
Past students
:
Elton Alves
(MS 2012.1).
Papers: [
ASE2011
]. Title: Improved Fault-Localization with Dynamic Slicing and Change Impact Analysis.
Matheus Arrais
(UROP 2010.2-2011.2).
Papers: [
NFM2011
].
Andrei Rimsa Alvares
(MS 2010.2).
Papers [
SBLP2010
,
CC2011
], Title: Efficient Static Analysis to Find Tainted Variable Attacks,
co-advised
with
Fernando M. Q. Pereira
and
Roberto da Silva Bigonha
.
Mitsuo Takaki
(MS 2009.2).
Papers [
NFM2009
,
ISSE2010
], Title: Effective CSP solvers with Particle-Swarm Optimization and Genetic Algorithms,
co-advised
with
Ricardo Prudêncio
.
Gláucia Peres
(MS 2008.2).
Papers [
ICST2009
], Title: A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios,
co-advised
with
Alexandre Mota.