Follow
Daniel Fortunato
Daniel Fortunato
Faculty of Engineering, University of Porto
Verified email at tecnico.ulisboa.pt
Title
Cited by
Cited by
Year
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
442022
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
402022
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
302022
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
122022
Off-the-shelf Components for Quantum Programming and Testing.
C Gomes, D Fortunato, JP Fernandes, R Abreu
Q-SET@ QCE, 14-19, 2020
72020
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
42024
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
32024
Exploring LLM-Driven Explanations for Quantum Algorithms
G d'Aloisio, S Fortz, C Hanna, D Fortunato, A Bensoussan, ...
arXiv preprint arXiv:2409.19028, 2024
12024
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
The system can't perform the operation now. Try again later.
Articles 1–9