1. UPBEAT: Test Input Checks of Q# Quantum Libraries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing;ACM Transactions on Software Engineering and Methodology;2024-06-27
3. An empirical study into the effects of transpilation on quantum circuit smells;Empirical Software Engineering;2024-05
4. On the need for effective tools for debugging quantum programs;Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering;2024-04-16
5. Delta Debugging for Property-Based Regression Testing of Quantum Programs;Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering;2024-04-16