Shaukat Ali

M. Bano, S. Ali and D. Zowghi

Envisioning responsible quantum software engineering and quantum artificial intelligence

Automated Software Engineering

X. Wang, S. Ali and P. Arcaini

BQTmizer: A Tool for Test Case Minimization with Quantum Annealing

IEEE Software

X. Wang, S. Ali and D. Taibi

The Landscape of Quantum Software Testing Tools Publisher

IEEE Software

H. Sartaj, J. Boudjadar, M. Frasheri, S. Ali and P. G. Larsen

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models

IEEE Software

A. Muqeet, S. Ali and P. Arcaini

QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation

IEEE Software

E. Mendiluze, S. Ali, T. Yue and P. Arcaini

Quantum circuit mutants: Empirical analysis and recommendations

Empirical Software Engineering

P. Valle, A. Arrieta, L. Han, S. Ali and T. Yue

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems

Software and Systems Modeling

J. M. Murillo, J. Garcia-Alonso, E. Moguel, J. Barzen, F. Leymann and S. Ali

Quantum Software Engineering: Roadmap and Challenges Ahead

ACM Trans. Softw. Eng. Methodol

N. Oldfield

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

Transactions on Software Engineering and Methodology (TOSEM)

A. Muqeet, H. Sartaj, A. Arrieta, S. Ali, P. Arcaini, M. Arratibel, J. M. Gjøby, N. R. Veeraragavan and J. Nygård

Assessing Quantum Extreme Learning Machines for Software Testing in Practice

Transactions on Software Engineering and Methodology

S. Ali, A. Cavalcanti, C. Â. G. Gomes, P. G. Larsen, H. Sartaj, A. Tefas, J. Woodcock and H. Zhang

Software Engineering for Self-Adaptive Robotics: A Research Agenda

2030 Software Engineering - 2025

H. Sartaj and S. Ali

Search-Based Software Engineering in the Landscape of AI Foundation Models

2030 Software Engineering - 2025

J. Wu, C. Lu, A. Arrieta, S. Ali and T. Peyrucain

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots

The 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025

G. Pontolillo, A. Muqeet, S. Ali and M. Mousavi

From Ideal to Noisy: Adapting Property-Based Testing for Real-World Noisy Quantum Computers

IEEE International Conference on Quantum Computing and Engineering (QCE)

C. Lu, P. Valle, J. Wu, E. Isaku, H. Sartaj, A. Arrieta and S. Ali

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead

2030 Software Engineering - 2025

C. Lu, J. Wu, S. Ali and M. L. Olsen

Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software

2025 IEEE Conference on Software Testing, Verification and Validation (ICST)

E. Isaku, C. Laaber, H. Sartaj, S. Ali, T. Schwitalla and J. Nygård

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine

ICST 2025, 18th IEEE International Conference on Software Testing, Verification and Validation

H. Araujo, X. Wang, M. Mousavi and S. Ali

Using quantum annealing to generate test cases for cyber-physical systems

X. Wang, S. Ali and P. Arcaini

Quantum Artificial Intelligence for Software Engineering: the Road Ahead

X. Wang, S. Ali, P. Arcaini, N. R. Veeraragavan and J. Nygård

Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study

X. Wang, Q. Xu, P. Arcaini, S. Ali and T. Peyrucain

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots

J. Wu, C. Lu, A. Arrieta, S. Ali and T. Peyrucain

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots

J. Wu, C. Lu, A. Arrieta and S. Ali

Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles

P. Valle, C. Lu, S. Ali and A. Arrieta

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots

S. Ali

AI-enabled Digital Twins for Anomaly Detection in IT-OT Systems

2nd NESIOT Conference

S. Ali

Quantum Artificial Intelligence for Classical Software Engineering

IEEE Services, Quantum Software Symposium

S. Ali

Testing Cyber-Physical Systems with AI Foundation Models

Future of Internetware

S. Ali

Quantum Extreme Learning Machines: Industrial and Societal Applications

Q2B, Tokyo, Japan

S. Ali

The Convergence of Quantum Computing and Artificial Intelligence

EU-Korea Digital Partnership Quantum Researcher’s Networking Forum

S. Ali, X. Wang, A. Muqeet and E. Mendiluze

AI for Quantum & Quantum for AI

Kongsberg Agenda

S. Ali and E. Mendiluze

Towards Real-World Quantum Computing Applications

Simula Research Laboratory

S. Ali, X. Wang and A. Muqeet

Quantum Software Testing

Tutorials and Technical Briefings in ICSE 2025

S. Ali, P. Arcaini, A. Miranskyy and J. Zhao

Shonan Seminar on Quantum Software Engineering

S. Ali

Quantum Computing and Software Engineering

S. Ali

ICST 2025 Panel: Research, Industry, and Emerging Frontiers

S. Ali and P. Arcaini

Quantum Software Engineering: Future Trends in Software Engineering Body of Knowledge

K. Nylænder, A. Arrieta, S. Ali and P. Arcaini

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels

GECCO '25: Proceedings of the Genetic and Evolutionary Computation Conference

X. Wang, S. Ali, T. Yue and P. Arcaini

Quantum Approximate Optimization Algorithm for Test Case Optimization

IEEE Transactions on Software Engineering

P. G. Larsen, S. Ali, R. Behrens, A. Cavalcanti, C. Â. G. Gomes, G. Li, P. De Meulenaere, M. L. Olsen, N. Passalis, T. Peyrucain, J. Tapia, A. Tefas and H. Zhang

Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project

Research Directions: Cyber-Physical Systems

A. Muqeet, T. Yue, S. Ali and P. Arcaini

Mitigating Noise in Quantum Software Testing Using Machine Learning

IEEE Transactions on Software Engineering

C. Laaber, S. Ali, T. Schwitalla and J. F. Nygård

Testing Medical Rules Web Services in Practice

arXiv

A. Muqeet, S. Ali and P. Arcaini

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers

ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

S. Ali, P. Arcaini and R. Abreu

The 3rd International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2024)

The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

S. Ali, J. Kim, S. Park and J. Park

International Workshop on Quantum Algorithms, Optimization, and A.I (QAI2024)

International Joint Conference on Artificial Intelligence

S. Ali

The Convergence of Quantum Computing, Software Testing, and Artificial Intelligence

JYU Quantum Electronics, Superconductivity, and Topology workshop

S. Ali

Responsible Quantum Software Engineering

2nd Symposium on Diversity and Inclusion in Artificial Intelligence

S. Ali

The Triad of Quantum Computing, Software Engineering, and Artificial Intelligence

University of Southern Denmark

S. Ali

Future Trends and Technological Innovations of AI System Evaluation

Future Advanced Testing Technology Workshop

S. Ali

AI Foundation Models for Cyber-Physical Systems Testing

Future Advanced Testing Technology Workshop

S. Ali

Norwegian Quantum Technology Landscape

The Quantum Technology Landscape: Catalyzing Regional Collaboration and Innovation