Shaukat Ali
Chief Research Scientist/Research ProfessorHead of Department
- Department
- Engineering Complex Software Systems
- Organisation
- Simula Research Laboratory
- Research Interests
- Verification and Validation Search-Based Software Engineering Autonomous Driving Cyber-Physical Systems Digital Twins Quantum Software Engineering
- shaukat@simula.no
Publications
2025
Journal Articles
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
Proceedings, refereed
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
2024
Journal Articles
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
H. Sartaj, S. Ali and J. M. Gjøby
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
ArXiv
H. Sartaj, S. Ali and J. M. Gjøby
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
ACM Transactions on Software Engineering and Methodology
H. Sartaj, S. Ali and J. M. Gjøby
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
Software and Systems Modeling
X. Wang, A. Muqeet, T. Yue, S. Ali and P. Arcaini
Test Case Minimization with Quantum Annealers
ACM Transactions on Software Engineering and Methodology
N. Oldfield
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
ArXiv
Proceedings, refereed
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
H. Sartaj, S. Ali and J. M. Gjøby
Digital Twins Environment Simulation for Testing Healthcare IoT Applications
IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)
S. Ali
AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors
1st ACM International Conference on AI-powered Software (AIware)
S. Ali
Quantum Software Testing 101
ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
A. Muqeet, S. Ali and P. Arcaini
Approximating Stochastic Quantum Noise Through Genetic Programming
International Symposium on Search Based Software Engineering
A. Muqeet, S. Ali, T. Yue and P. Arcaini
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM’s Quantum Computers
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
J. Wu, C. Lu, A. Arrieta, T. Yue and S. Ali
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
AI Foundation Models and Software Engineering (FORGE 24)
X. Wang, S. Ali, A. Arrieta, P. Arcaini and M. Arratibel
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
Proceedings, non-refereed
S. Ali
Preliminary Patterns for Artificial Intelligence-based Digital Twins
10th Asian Conference on Pattern Languages of Programs, People, and Practices
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
ArXiv
Technical reports
C. Lu, J. Wu, S. Ali and M. L. Olsen
Assessing the Uncertainty and Robustness of Object Detection Models for Detecting Stickers on Laptops
Talks, keynote
S. Ali
The Convergence of Quantum Computing, Software Testing, and Artificial Intelligence
JYU Quantum Electronics, Superconductivity, and Topology workshop
S. Ali
Quantum Computing, Software Engineering, and Artificial Intelligence
IPSJ/SIGSE Software Engineering Symposium (SES2024)
S. Ali
Quantum Software Engineering
2030 Software Engineering
S. Ali
Search-based Software Engineering and Quantum Computing
Symposium on Search-Based Software Engineering 2024
Talks, invited
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
The Superposition of Quantum Computing and Artificial Intelligence
Nordic Quantum Life Science Round Table, Soria Moria, Oslo
S. Ali
Adaptive Security and Digital Twin technologies in strengthening tele-healthcare systems
International Alliance for Strengthening Cybersecurity and Privacy in Healthcare (CybAlliance)
S. Ali
Digital Twins for IT-OT-based Healthcare Welfare Services
NESIOT 1st Annual Conference on Secure IT-OT Integration for successful digitalization
S. Ali
Advanced Technologies for the Analysis of Cyber Physical Systems
Gran Sasso Science Institute
S. Ali
AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors
1st ACM International Conference on AI-powered Software (AIware)
S. Ali
Quantum software testing
TAROT Summer School 2024
S. Ali
Quantum Optimization and Machine Learning Applications in Software Engineering
Kings College London
S. Ali
An Introduction to Quantum Software Testing
Politecnico di Milano
Talks, contributed
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
S. Ali
Foundation Models for Creating Cyber-Physical Systems Digital Twins
International Symposium on Leveraging Applications of Formal Methods
S. Ali
The Entanglement of Quantum Computing, Artificial Intelligence, and Software Engineering
INRIA Workshop, Paris
S. Ali
Empowering Testing of Oslo City's IoT-based Healthcare Services with Computational Intelligence
EEE WCCI2024 Workshop on Computational Intelligence Applications
S. Ali
Quantum Computing and Artificial Intelligence
NORA Annual Conference 2024
S. Ali
Quantum Software Testing 101
ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
X. Wang, S. Ali, A. Arrieta, P. Arcaini and M. Arratibel
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
Conference proceedings
S. Ali, J. Kim, S. Park and J. Park
Int'l Workshop on Quantum Algorithms, Optimization, and A.I (QAI2024)
International Joint Conference on Artificial Intelligence
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)
2023
Proceedings, refereed
H. Sartaj, S. Ali, T. Yue and K. Moberg
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)
T. Yue, S. Ali and P. Arcaini
Towards Quantum Software Requirements Engineering
3rd International Workshop on Quantum Software Engineering and Technology
H. Sartaj, S. Ali, T. Yue and K. Moberg
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)
M. Zhang, S. Ali and T. Yue
Uncertainty-wise Model Evolution with Genetic Programming
23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023)
Talks, contributed
S. Ali and M. Varshosaz
Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches
20th International Colloquium on Theoretical Aspects of Computing