José Campos
ONGOING
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| RAP | Resource Aware Programming | FCT | 13/01/2022 | 12/01/2024 |
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]
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]
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]