Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Accessibility and Ageing
Cyber‐Physical Systems
Data and Systems Intelligence
Health and Biomedical Informatics
Reliable Software Systems
Resilient Distributed and Networked Systems
Research & Innovation
Software & Tools
Projects
Publications
Partners
Innovation
Members
Integrated Researchers
PhD Collaborators
Collaborators
PhD Students
MSc Students
Undergraduate Students
Staff
Former Members
Positions
Select Page
Member
José Campos
Info
Projects
Publications
Email
jcmcampos (at) ciencias.ulisboa.pt
Room
6.3.05
Website
https://ciencias.ulisboa.pt/perfil/jcmcampos
Category
PhD Collaborator
Research Lines
Reliable Software Systems
ONGOING
Acronym
Title
Funding Entity
Start Date
End Date
RAP
Resource Aware Programming
FCT
13/01/2022
12/01/2024
Year
Start Year
to
End Year
Daniel Fortunato
,
José Campos
,
Rui Abreu
.
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, 2022 [
Biblios
]
Daniel Fortunato
,
José Campos
,
Rui Abreu
.
Mutation testing of quantum programs written in QISKit
. In Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings. ACM, 2022 [
Biblios
]
Daniel Fortunato
,
JOSE CAMPOS
,
RUI ABREU
.
Mutation Testing of Quantum Programs: A Case Study With Qiskit
. IEEE Transactions on Quantum Engineering, 3, Institute of Electrical and Electronics Engineers (IEEE), 2022 [
Biblios
]
Câmara, Rúben Miguel Alves
,
Campos, José Carlos Medeiros de
,
Souto, André Nuno Carvalho
.
Fine-grained analysis of bugs in open source quantum projects
. Master's dissertation, 2022 [
Biblios
]
Gonçalo Miguel Inácio Duarte
,
José Carlos Medeiros de Campos
,
Alcides Miguel Cachulo Aguiar Fonseca
.
Bio-inspired Optimization Algorithms for Unit Test Generation
. Master's dissertation, 2021 [
Biblios
]
Nuno Guilherme Nunes Castanho
,
Maria Antónia Bacelar da Costa Lopes
,
José Carlos Medeiros de Campos
.
Semantic Conflicts in Version Control Systems
. Master's dissertation, 2021 [
Biblios
]
Jose Campos
,
Andre Souto
.
QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments
. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 2021 [
Biblios
]
Sebastian Vogl
,
Sebastian Schweikl
,
Gordon Fraser
,
Andrea Arcuri
,
Jose Campos
,
Annibale Panichella
.
EvoSuite at the SBST 2021 Tool Competition
. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST). IEEE, 2021 [
Biblios
]
Paulo Santos
,
Jose Campos
,
Christopher S. Timperley
,
Alcides Fonseca
.
Augmenting Search-based Techniques with Static Synthesis-based Input Generation
. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST), pages 12-15. IEEE, 2021 [
Biblios
]
Daniel Antunes Bustorff Fortunato
,
Rui Filipe Lima Maranhão de Abreu
,
José Campos
.
Mutation Testing of Quantum Programs
. Master's dissertation, 2021 [
Biblios
]
Joana Paulo Pardal
,
João Manuel Nunes Piedade
,
José Carlos Medeiros de Campos
.
Ler bem, escrever melhor: o papel da leitura de código na estruturação do Pensamento Computacional
. Master's dissertation, 2021 [
Biblios
]
Prantik Chatterjee
,
Abhijit Chatterjee
,
Jose Campos
,
Rui Abreu
,
Subhajit Roy
.
Diagnosing Software Faults Using Multiverse Analysis
. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2020 [
Biblios
]
Annibale Panichella
,
José Campos
,
Gordon Fraser
.
EvoSuite at the SBST 2020 Tool Competition
. In 2020 IEEE/ACM 13th International Workshop on Search-Based Software Testing (SBST). ACM, 2020 [
Biblios
]
Ana Margarida Rebelo Fontoura Pires
,
João Filipe Matos
,
José Campos
.
Ingredientes para um dia em grande – Edição de Vídeo e Som Tecnologias de Informação e Comunicação
. Master's dissertation, 2020 [
Biblios
]
Ricardo Miguel Cordeiro dos Santos
,
José Carlos Medeiros de Campos
.
Segurança, Privacidade e Tratamento de Dados: RGPD e a facilitação do processo de diagnóstico em contexto nacional
. Master's dissertation, 2020 [
Biblios
]
Guilherme Diogo Ferreira Antunes
,
José Carlos Medeiros de Campos
.
Automatização dos Processos de Produção e Distribuição de Pacotes de Actualização
. Master's dissertation, 2020 [
Biblios
]