Daniel Fortunato


AuthID: R-00J-Y5K

Publications Requiring Validation

1
TITLE: Verification and Validation of Quantum Software
AUTHORS: Daniel Fortunato; Luis Jiménez Navajas; José Campos ; Rui Abreu;
PUBLISHED: 2024, SOURCE: Quantum Software: Aspects of Theory and System Design
INDEXED IN: Scopus CrossRef
2
TITLE: Mutation Testing of Quantum Programs Written in QISKit
AUTHORS: Fortunato, D; Campos, J ; Abreu, R ;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
INDEXED IN: Scopus CrossRef
3
TITLE: Mutation Testing of Quantum Programs Written in QISKit
AUTHORS: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022)
INDEXED IN: WOS CrossRef: 3
4
TITLE: Leveraging Practitioners' Feedback to Improve a Security Linter
AUTHORS: Reis, Sofia; Abreu, Rui ; d'Amorim, Marcelo; Fortunato, Daniel;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
INDEXED IN: Scopus WOS CrossRef

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service