QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit D Fortunato, J Campos, R Abreu Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 44 | 2022 |
Mutation Testing of Quantum Programs: A Case Study With Qiskit D Fortunato, J Campos, R Abreu IEEE Transactions on Quantum Engineering 3, 1-17, 2022 | 40 | 2022 |
Mutation testing of quantum programs written in QISKit D Fortunato, J Campos, R Abreu Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022 | 30 | 2022 |
Leveraging practitioners’ feedback to improve a security linter S Reis, R Abreu, M d'Amorim, D Fortunato Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 12 | 2022 |
Off-the-shelf Components for Quantum Programming and Testing. C Gomes, D Fortunato, JP Fernandes, R Abreu Q-SET@ QCE, 14-19, 2020 | 7 | 2020 |
Verification and Validation of Quantum Software D Fortunato, L Jiménez-Navajas, J Campos, R Abreu Quantum Software: Aspects of Theory and System Design, 93-123, 2024 | 4 | 2024 |
Gate branch coverage: A metric for quantum software testing D Fortunato, J Campos, R Abreu Proceedings of the 1st ACM International Workshop on Quantum Software …, 2024 | 3 | 2024 |
Exploring LLM-Driven Explanations for Quantum Algorithms G d'Aloisio, S Fortz, C Hanna, D Fortunato, A Bensoussan, ... arXiv preprint arXiv:2409.19028, 2024 | 1 | 2024 |
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)| 978-1-6654-9598-1/22/$31.00© 2022 IEEE| DOI: 10.1109/ICSE … R Abreu, J Ahmed, S Ahmed, N Al Awar, S Ali, M Aniche, P Arcaini, ... Jia 51, 364, 0 | | |