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 Ali](/_next/image?url=%2Fimages%2Fperson-placeholder.png&w=384&q=75)
- shaukat@simula.no
Publications
2024
Journal Articles
H. Sartaj, S. Ali and T. Yue
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
Software: Practice and Experience
C. Laaber, T. Yue and S. Ali
Evaluating Search-Based Software Microbenchmark Prioritization
IEEE Transactions on Software Engineering
Technical reports
A. Muqeet
Mitigating Noise in Quantum Software Testing Using Machine Learning
2023
Journal Articles
C. Lu, S. Ali and T. Yue
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism
ArXiv
M. Zhang, J. Wu, S. Ali and T. Yue
Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation
ACM Transactions on Software Engineering and Methodology
Q. Xu, T. Yue, S. Ali and M. Arratibel
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems
Transaction of Software Engineering
C. Lu, T. Yue, M. Zhang and S. Ali
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data
ACM Transactions on Software Engineering and Methodology
Q. Xu, S. Ali and T. Yue
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems
ACM Transactions on Software Engineering and Methodology
Proceedings, refereed
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)
S. Ali and T. Yue
On the Need of Quantum-Oriented Paradigm
Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering
X. Wang, P. Arcaini, T. Yue and S. Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software
the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
Q. Xu, S. Ali, T. Yue, Z. Nedim and I. Singh
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
H. Sartaj, S. Ali and T. Yue
HITA: An Architecture for System-level Testing of Healthcare IoT Applications
17th European Conference on Software Architecture (ECSA)
E. Isaku, H. Sartaj, C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. Nygård
Cost Reduction on Testing Evolving Cancer Registry System
2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)
J. Wu, P. Arcaini, T. Yue, S. Ali and H. Zhang
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023)
GECCO '23 Companion: Proceedings of the Companion Conference on Genetic and Evolutionary Computation
C. Lu, Q. Xu, T. Yue, S. Ali, T. Schwitalla and J. Nygård
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)
C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. F. Nygård
Challenges of Testing an Evolving Cancer Registration Support System in Practice
45th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2023)
C. Lu, T. Yue and S. Ali
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing
2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)
C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. F. Nygård
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
Book Chapters
T. Yue, W. Mauerer, S. Ali and D. Taibi
Challenges and Opportunities in Quantum Software Architecture
Software Architecture: Research Roadmaps from the Community
Technical reports
E. Mendiluze
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations
Talks, keynote
S. Ali
Present to Future: Forging the Future of Quantum Software Testing
Luxembourg
Talks, contributed
S. Ali
Reflections on Quantum Software Testing
Annual meeting of the IFIP Working Group on Foundations of Quantum Computation (WG 1.11 / 2.17).
S. Ali
Towards Quantum Software Requirements Engineering
3rd International Workshop on Quantum Software Engineering and Technology
S. Ali
Uncertainty-wise Model Evolution with Genetic Programming
Uncertainty-wise Model Evolution with Genetic Programming
S. Ali
Uncertainty Unveiled: Identifying and Classifying Industrial Cyber-Physical Systems' Uncertainties for Testing
Shonan Seminar on DevOps for Cyber-physical Systems
S. Ali and T. Yue
Quantum Software Testing: A Brief Introduction
2023 International Conference on Software Engineering
Public outreach
A. M. Bruaset, S. Ali, A. Brodtkorb, G. Bøe, S. Denysov, H. Eide and S. Selstø
QCNorway: Contributions Towards a Norwegian Quantum Computing Strategy
2022
Journal Articles
L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel
Uncertainty-aware Robustness Assessment of Industrial Elevator Systems
ACM Transactions on Software Engineering and Methodology
Proceedings, refereed
X. Wang, P. Arcaini, T. Yue and S. Ali
Generating Failing Test Suites for Quantum Programs with Search (hot off the press track at GECCO 2022)
GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Q. Chen, T. Wang, C. Lu, T. Yue and S. Ali
Enhancing the realism of autonomous driving simulation with real-time co-simulation
4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'22)
Edited books
S. Ali and S. Selstø
Quantum Computing - Introduction to the special theme
Talks, invited
S. Ali
Dependable and Noise-Aware Quantum Software Engineering
CREST Center, The University of Adelaide, Australia
S. Ali
Quantum Software Engineering: What, Why, and Where are we now?
Quantum Leap and Mathematics, Soria Moria, Oslo, Norway
S. Ali
Assuring the Quality of Quantum Programs with Automated Testing
University of Lisbon, Portugal
S. Ali
AI-enabled Digital Twins for Cyber-Physical Systems
EDT Community: Engineering Digital Twins – Seminar Series
S. Ali
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS)
S. Ali
Digital Twins for Cyber-Physical Systems: From AI to Quantum Computing
COEMS Forsterk Seminar
S. Ali and X. Wang
Quantum Software Testing Tutorial
NordIQuEst-ENCCS online HPC-QC workshop
Talks, contributed
S. Ali
Quantum Software Engineering
Simula Research Laboratory, Norway
S. Ali
Digital Twin for Elevators Use Case
ETSI Event, Berlin, Germany
S. Ali
Automating Test Oracle Generation in DevOps for Industrial Elevators
19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2022)
S. Ali
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
S. Ali
Time for new Simula!
Towards a Norwegian Quantum Computing Strategy, Simula Research Laboratory, Norway
2021
Proceedings, refereed
S. Ali, P. Arcaini, X. Wang and T. Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
X. Wang, P. Arcaini, T. Yue and S. Ali
Generating Failing Test Suites for Quantum Programs with Search
Symposium on Search Base Software Engineering 2021
X. Wang, P. Arcaini, T. Yue and S. Ali
Application of Combinatorial Testing to Quantum Programs
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)