Identification
Personal identification
- Full name
- José Carlos Medeiros de Campos
- Gender
- Male
Citation names
- Campos, José
Author identifiers
- Ciência ID
- EE17-7387-1939
- ORCID iD
- 0000-0001-7565-8382
Email addresses
- jcmc@fe.up.pt (Professional)
Addresses
- Faculdade de Engenharia da Universidade do Porto, Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Porto, Portugal (Professional)
Websites
- http://jose.github.io/ (Professional)
Knowledge fields
- Exact Sciences - Computer and Information Sciences - Computer Sciences
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
Portuguese (Mother tongue) | |||||
English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) |
Education
Degree | Classification | |
---|---|---|
2018
Concluded
|
Computer Science (Doctor of Philosophy)
The University of Sheffield Department of Computer Science, United Kingdom
"Search-based Unit Test Generation for Evolving Software" (THESIS/DISSERTATION)
|
|
2013
Concluded
|
Engenharia Informática e Computação (Mestrado integrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2019/09 - Current | Researcher (Research) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal | ||
2018/11/01 - 2019/08/31 | Postdoc (Research) | University of Washington Department of Computer Science and Engineering, United States |
2012/06 - 2013/11 | Research Assistant (Research) | Universidade do Porto Faculdade de Engenharia, Portugal |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2022/02/03 - Current | Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal | ||
2019/09/01 - 2022/02/02 | Assistant Professor (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal |
2014/09 - 2017/01 | Invited Assistant Professor (University Teacher) | The University of Sheffield Department of Computer Science, United Kingdom |
2010/02 - 2010/06 | Invited Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Engenharia, Portugal |
Others
Category Host institution |
Employer | |
---|---|---|
2019/09 - Current | Integrated member | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Universidade de Lisboa Faculdade de Ciências, Portugal |
Projects
Grant
Designation | Funders | |
---|---|---|
2022/07 - Current | Resource Aware Programming (RAP)
EXPL/CCI-COM/1306/2021
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Ongoing
|
2023/01 - 2023/06 | Assessing the Effectiveness of Defect Prediction-based Unit Tests at Localizing Faults
2022.15773.CPCA.A1
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia Rede Nacional de Computação Avançada |
2021/01 - 2021/06 | Modeling Variable Identifiers to Improve the Adoption of Automatically Generated Unit Tests
CPCA/A0/7408/2020
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia Rede Nacional de Computação Avançada Concluded
|
2021/01 - 2021/01 | Bio-inspired Optimization Algorithms for Unit Test Generation
CPCA/A0/7402/2020
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia Rede Nacional de Computação Avançada Concluded
|
2019/05 - 2020/05 | Generating Unit Tests with Descriptive Variable Identifiers
UW-IDENTIFIERS-2019
Principal investigator
University of Washington Department of Computer Science and Engineering, United States
|
University of Washington Department of Computer Science and Engineering
Concluded
|
Outputs
Publications
Book chapter |
|
Conference abstract |
|
Conference paper |
|
Conference poster |
|
Journal article |
|
Thesis / Dissertation |
|
Other
Dataset |
|
Activities
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2021 - 2022 | Fault Revealing Test Oracles, Are We There Yet? Evaluating The Effectiveness Of Automatically Generated Test Oracles On Manually-Written
And Automatically Generated Unit Tests
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | Automatic Generation of Smell-free Unit Tests
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | An Exploratory Study on the Usage of Quantum Programming Languages
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | Automatic Generation of Energy Efficient System Tests
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | Fine-grained Analysis of Bugs in Open Source Quantum Projects
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2020 - 2021 | Semantic Conflicts in Version Control Systems
Co-supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2020 - 2021 | Mutation Testing of Quantum Programs
Co-supervisor
|
Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020 - 2021 | Bio-inspired Optimization Algorithms for Unit Test Generation
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2020 - 2021 | Modeling Variable Identifiers to Improve the Adoption of Automatically Generated Unit Tests
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2019 - 2021 | Ler bem, escrever melhor: o papel da leitura de código na estruturação do Pensamento Computacional
Supervisor
|
Informática e Educação (Master)
Universidade de Lisboa Instituto da Educação, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal |
2019 - 2020 | Ingredientes para um dia em grande - Edição de Vídeo e Som Tecnologias de Informação e Comunicação
Supervisor
|
Informática e Educação (Master)
Universidade de Lisboa Instituto da Educação, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal |
2019 - 2020 | Segurança, Privacidade e Tratamento de Dados: GDPR e a Sistematização da Informação Abrangida em Ambiente Corporativo
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2019 - 2020 | Automatização dos Processos de Produção e Distribuição de Pacotes de Actualização
Supervisor
|
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2014/09 - 2015/07 | A Multi-Objective Optimization Approach to Test Suite Reduction
Co-supervisor
|
Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2013/09 - 2014/07 | A Defining a Test Automation System for Mobile Apps
Co-supervisor
|
Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/09 - 2013/07 | Automatic Debugging of Android Applications
Co-supervisor
|
Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/09 - 2013/07 | Generating Asserts for Test Cases Efficiently
Co-supervisor
|
Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/09 - 2013/07 | A HTML5-based Visualizations to Support Software Fault Isolation
Co-supervisor
|
Engenharia Informática (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2023 - 2024 | Sponsorship Co-Chair in Organising Committee - International Conference on Software Engineering (ICSE) (2023 - 2024)
Conference (Member of the Organising Committee)
|
|
2022 - 2022 | Program Chair - International Workshop on Quantum Software Engineering (Q-SE) (2022 - 2022)
Workshop (Member of the Organising Committee)
|
|
2020 - 2020 | Web Chair at the IEEE International Conference on Software Testing, Verification and Validation (ICST) (2020 - 2020)
Conference (Member of the Organising Committee)
|
|
2015 - 2015 | Student Volunteer at the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE) (2015 - 2015)
Conference (Member of the Organising Committee)
|
|
2015 - 2015 | Student Volunteer at the International Conference on Software Engineering (ICSE) (2015 - 2015)
Conference (Member of the Organising Committee)
|
|
2014 - 2014 | Organizing Committee of the TAROT Summer School (2014 - 2014)
Symposium (Member of the Organising Committee)
|
|
2013 - 2013 | Student Volunteer at the IEEE/ACM International Conference on Automated Software Engineering (ASE) (2013 - 2013)
Conference (Member of the Organising Committee)
|
|
2013 - 2013 | Session-Chair Software Testing track at the International Conference on Information Technology - New Generations (ITNG) (2013 - 2013)
Conference (Member of the Organising Committee)
|
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2021 | Exploring a Larger Search Space for Automatic Program Repair
(Thesis) Main arguer
|
Máximo José Nicolaas Hoefnagel Oliveira (Master)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
2020/09/11 | Applying TSR techniques over large test suites
(Thesis) Main arguer
|
João Pedro Pereira Becho (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2024 - 2024 | Program Committee - International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER) | |
2024 - 2024 | Program Committee - International Conference on Software Testing, Verification and Validation (ICST) | |
2024 - 2024 | Program Committee - International Workshop on Quantum Software Engineering (Q-SE) | |
2023 - 2023 | Tool Demonstrations Track Committee - International Symposium on Software Testing and Analysis (ISSTA) | |
2023 - 2023 | Emerging Computing Technologies Track Committee - Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) | |
2023 - 2023 | Program Committee - International Conference on Testing Software and Systems (ICTSS) | |
2023 - 2023 | Program Committee - International Workshop on Search-Based and Fuzz Testing (SBFT) | |
2023 - 2023 | Program Committee - International Workshop on Quantum Software Engineering (Q-SE) | |
2022 - 2022 | Program Committee - International Conference on Software Testing, Verification and Validation (ICST) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2022 - 2022 | Program Committee - Search-Based Software Testing (SBST) | |
2022 - 2022 | Challenge Track Program Committee - Symposium on Search-Based Software Engineering (SSBSE) | |
2022 - 2022 | Quantum Computing Program Committee - International Conference on the Quality of Information and Communications Technology (QUATIC) | |
2021 - 2021 | Testing Tools Track Committee - International Conference on Software Testing, Verification and Validation (ICST) | |
2021 - 2021 | Program Committee - Search-Based Software Testing (SBST) | |
2021 - 2021 | Doctoral Symposium Program Committee - International Conference on Evaluation and Assessment in Software Engineering (EASE) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2021 | Challenge Track Program Committee - Search-based Software Engineering (SBSE) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2021 | Challenge Track Program Committee - Symposium on Search-Based Software Engineering (SSBSE) | |
2020 - 2020 | Program Committee - Search-Based Software Testing (SBST)
Member
|
|
2020 - 2020 | RENE Track Committee - Symposium on Search-Based Software Engineering (SSBSE)
Member
|
|
2020 - 2020 | NIER Track Committee - Symposium on Search-Based Software Engineering (SSBSE)
Member
|
|
2020 - 2020 | TAIC PART Workshop Committee - Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques
Member
|
|
2020 - 2020 | Testing Tools Track Committee - International Conference on Software Testing, Verification and Validation (ICST)
Member
|
|
2019 - 2019 | Program Committee - Search-Based Software Testing (SBST)
Member
|
|
2019 - 2019 | Short and Student Paper Track Committee - Symposium on Search-Based Software Engineering (SSBSE)
Member
|
|
2019 - 2019 | Program Committee - Symposium on Search-Based Software Engineering (SSBSE)
Member
|
Interview (newspaper / magazine)
Activity description | Newspaper / Forum | |
---|---|---|
2012/04 | Finding Faults with GZoltar | Exame Informática |
2012/03 | GZoltar: A bug hunter | Público newspaper’s P3 supplement |
Distinctions
Award
2017 | Distinguished Paper Award at SSBSE |
2015 | ACM SIGSOFT Distinguished Paper Award at ESEC/FSE |
2015 | Best Paper with industry-relevant SBSE results |
2013 | Ph.D. Scholarship
The University of Sheffield Department of Computer Science, United Kingdom
|
Other distinction
2016 | National Science Foundation (NSF) travel support |