Students

PhDs

• (ongoing) Tiago Dias, 2023 (I. Praça as co-Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  
• (ongoing) Cláudia Mamede, 2022 (R. Abreu as main Supervisor and Claire Le Goues as co-Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  
• (ongoing) Daniel Fortunato, 2022 (R. Abreu as co-Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  

Undergraduates

• (ongoing) Eduardo Ramos, 2024
  Faculty of Engineering of the University of Porto, Portugal
  
• (ongoing) Isabel Amaral, 2024 (A. Mendes as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  
• (ongoing) Pedro Ferreira, 2024
  Faculty of Engineering of the University of Porto, Portugal
  
• (ongoing) Nuno Alves, 2024
  Faculty of Engineering of the University of Porto, Portugal
  
• (ongoing) Ana Aguiar, 2024
  Faculty of Engineering of the University of Porto, Portugal
  

Graduated alumni

Master's degrees

• Avito Silva, 2023
  Faculty of Engineering of the University of Porto, Portugal
  
Enhance Automatically Generated Unit Tests with ChatGPT
• Sérgio Gama, 2023
  Faculty of Engineering of the University of Porto, Portugal
  
Obfuscating the unreadable, a novel obfuscator for WebAssembly binaries
• Rui Moreira, 2023
  Faculty of Engineering of the University of Porto, Portugal
  
Error Detection in Real-Time Distributed System
• Duarte Sardão, 2023
  Faculty of Engineering of the University of Porto, Portugal
  
Preliminary Study on the Effectiveness of ChatGPT at Identifying, Explaining, and Revealing Semantic Conflicts in Merge Commits
• Nuno Nascimento, 2023 (J. C. Alves as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  
Safeguard Analyzer: A Fuzz Testing Tool
• Hugo Almeida, 2022 (R. Abreu as co-Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  Integration of Fault Localization into your GitHub Repository
• Orlando Macedo, 2022 (R. Abreu as co-Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  Assessing the Effectiveness of Defect Prediction-based Test Suites at Localizing Faults
• João Costa, 2022
  Faculty of Engineering of the University of Porto, Portugal
  Verification of market leader real-time operating system for DO-178C compliance
• Rúben Câmara, 2022 (A. Souto as co-Supervisor)
  Faculty of Sciences of the University of Lisbon, Portugal
  Fine-grained Analysis of Bugs in Open-Source Quantum Projects
• Luís Gonçalves, 2022
  Faculty of Sciences of the University of Lisbon, Portugal
  Automatic Generation of Energy Efficient System Tests
• Felipe Ferreira, 2022
  Faculty of Sciences of the University of Lisbon, Portugal
  An Exploratory Study on the Usage of Quantum Programming Languages
• João Afonso, 2022
  Faculty of Sciences of the University of Lisbon, Portugal
  Automatic Generation of Smell-free Unit Tests
• Daniel Bento, 2022
  Faculty of Sciences of the University of Lisbon, Portugal
  Fault Revealing Test Oracles, Are We There Yet? Evaluating The Effectiveness Of Automatically Generated Test Oracles On Manually-Written And Automatically Generated Unit Tests
• José Oliveira, 2021
  Faculty of Sciences of the University of Lisbon, Portugal
  Modeling Variable Identifiers to Improve the Adoption of Automatically Generated Unit Tests
• Gonçalo Duarte, 2021 (A. Fonseca as co-Supervisor)
  Faculty of Sciences of the University of Lisbon, Portugal
  Bio-inspired Optimization Algorithms for Unit Test Generation
• Daniel Fortunato, 2021 (R. Abreu as main Supervisor)
  Instituto Superior Técnico, University of Lisbon, Portugal
  Mutation Testing of Quantum Programs
• Nuno Castanho, 2021 (A. Lopes as main Supervisor)
  Faculty of Sciences of the University of Lisbon, Portugal
  Semantic Conflicts in Version Control Systems
• Joana Pardal, 2021 (J. Piedade as co-Supervisor)
  Faculty of Sciences of the University of Lisbon, Portugal and Institute of Education of the University of Lisbon, Portugal
  (Des)Ligad@s : adaptação de atividades desligadas ao ensino remoto de emergência em tempos de pandemia
• Guilherme Antunes, 2020
  Faculty of Sciences of the University of Lisbon, Portugal
  Automatização dos Processos de Produção e Distribuição de Pacotes de Actualização
• Ricardo Santos, 2020
  Faculty of Sciences of the University of Lisbon, Portugal
  Segurança, Privacidade e Tratamento de Dados: GDPR e a Sistematização da Informação Abrangida em Ambiente Corporativo
• Ana Pires, 2020
  Faculty of Sciences of the University of Lisbon, Portugal and Institute of Education of the University of Lisbon, Portugal
  Ingredientes para um dia em grande - Edição de Vídeo e Som Tecnologias de Informação e Comunicação
• Jorge Costa, 2015 (R. Abreu as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  A Multi-Objective Optimization Approach to Test Suite Reduction
• Renato Rodrigues, 2014 (R. Abreu as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  Defining a Test Automation System for Mobile Apps
• Carlos Gouveia, 2013 (R. Abreu as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  HTML5-based Visualizations to Support Software Fault
• Luís Pinho, 2013 (R. Abreu as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  Generating Asserts for Test Cases Efficiently
• Pedro Machado, 2013 (R. Abreu as main Supervisor)
  Faculty of Engineering of the University of Porto, Portugal
  Automatic Debugging of Android Applications

Back to José Campos' home page
Last updated: 04 October, 2024