Students
I am having the privilege of supervising the following PhD students:
- Nuno Cardoso (FEUP)
- André Riboira (FEUP)
- Alexandre Perez (FEUP)
- João Santos (INT, France;co-supervisor)
I've had / am having the privilege of supervising the following MSc students:
- Alexandre Perez (FEUP): Dynamic Code Coverage with Progressive Detail Levels, June 2012
- João Santos (FEUP): Automatic Error Detection Using Program Invariants for Fault Localizationi, June 2012
- Afonso Graça (FEUP/BME): Peer to Peer Multicast Overlay for Smart Content Delivery, June 2012
- José Carlos Campos (FEUP): Regression Testing with GZoltar: Techniques for Test Suite Minimization, Selection, and Prioritization, February 2012
- João Sousa (FEUP/Fraunhofer Portugal): Development Of Services and Applications for Set-Top Boxes in Ambient Assisted Living Environments, June 2011
- Shekhar Gupta (TUDelft): Applying SFL to logic circuits, May 2011
- André Riboira (FEUP): GZoltar: A Graphical Debugger Interface (web), February 2011
- Hélder Branco (FEUP/I2S): Autonomic Computing: Processamento de Eventos, July 2010
- Rui Azevedo (FEUP/I2S): Monitorização Integrada de Aplicações Empresariais, July 2010
- Marcelo Barreira (FEUP/I2S): Autonomic Computing – Registo de Eventos, July 2010
- Ricardo Castilho (FEUP/TUDelft): Reducing Screened Program Points for Efficient Error Detection, July 2010
- André Cunha (FEUP/TUDelft): An Empirical Investigation of Source Code Metrics and FindBugs Warnings, July 2010
- Michel Wilson (TUDelft): Bacinol: Bayesian Circuit Analysis by Topology, February 2010
- Ricardo Gonzalez (TUDelft/UValladolid): Applying SFL Diagnosis to CIG, September 2009
- Mario Plasencia (TUDelft/UValladolid): Automatic Error Detection Techniques Based on Bloom Filters, February 2008
- Alberto González Sanchez (TUDelft/UValladolid): Automatic Error Detection Techniques Based on Dynamic Invariants, August 2007
- Rafi Vayani (TUDelft): Improving Automatic Software Fault Localization, July 2007. (best TUDelft/EWI MSc Thesis Award)