Shaukat Ali

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 149

Top Venues

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR (2023)
Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR (2023)
Chengjie Lu, Qinghua Xu, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan Nygård
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System. ESEC/SIGSOFT FSE (2023)
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
Challenges of Testing an Evolving Cancer Registration Support System in Practice. ICSE Companion (2023)
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway. CoRR (2023)
Tao Yue, Shaukat Ali
Evolve the Model Universe of a System Universe. ASE (2023)
Chengjie Lu, Qinghua Xu, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System. CoRR (2023)
Shaukat Ali, Tao Yue
Quantum Software Testing: A Brief Introduction. ICSE Companion (2023)
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
HITA: An Architecture for System-level Testing of Healthcare IoT Applications. CoRR (2023)
Chengjie Lu, Yize Shi, Huihui Zhang, Man Zhang, Tiexin Wang, Tao Yue, Shaukat Ali
Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. IEEE Trans. Software Eng. 49 (1) (2023)
Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
Cost Reduction on Testing Evolving Cancer Registry System. CoRR (2023)
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
Test Case Minimization with Quantum Annealers. CoRR (2023)
Qinghua Xu, Tao Yue, Shaukat Ali, Maite Arratibel
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems. CoRR (2023)
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications. CoRR (2023)
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan Nygård
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway. ESEC/SIGSOFT FSE (2023)
Chengjie Lu, Tao Yue, Man Zhang, Shaukat Ali
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data. CoRR (2023)
Chengjie Lu, Shaukat Ali, Tao Yue
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism. CoRR (2023)
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR (2023)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE (2023)
Qinghua Xu, Shaukat Ali, Tao Yue
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
Noise-Aware Quantum Software Testing. CoRR (2023)
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui 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 Companion (2023)
Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, Inderjeet Singh
Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. CoRR (2023)
Liping Han, Shaukat Ali, Tao Yue, Aitor Arrieta, Maite Arratibel
Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Tao Yue, Shaukat Ali
Evolve the Model Universe of a System Universe. CoRR (2023)
Man Zhang, Jiahui Wu, Shaukat Ali, Tao Yue
Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation. CoRR (2023)
Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
Cost Reduction on Testing Evolving Cancer Registry System. ICSME (2023)
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. CoRR (2023)
Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, Inderjeet Singh
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. ESEC/SIGSOFT FSE (2023)
Chengjie Lu, Tao Yue, Shaukat Ali
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. MSR (2023)
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. ESEC/SIGSOFT FSE (2023)
Qinghua Xu, Shaukat Ali, Tao Yue
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems. CoRR (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini
Towards Quantum Software Requirements Engineering. CoRR (2023)
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
Challenges of Testing an Evolving Cancer Registration Support System in Practice. CoRR (2023)
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
Guess What Quantum Computing Can Do for Test Case Optimization. CoRR (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini
Towards Quantum Software Requirements Engineering. QCE (2023)
Shaukat Ali, Sølve Selstø
Quantum Computing - Introduction to the special theme. ERCIM News 2022 (128) (2022)
Ferhat Özgür Çatak, Tao Yue, Shaukat Ali
Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali
Mutation-based test generation for quantum programs with multi-objective search. GECCO (2022)
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuSBT: Search-Based Testing of Quantum Programs. CoRR (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion (2022)
Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, Maite Arratibel
Automating Test Oracle Generation in DevOps for Industrial Elevators. SANER (2022)
Christoph Laaber, Tao Yue, Shaukat Ali
Multi-Objective Search-Based Software Microbenchmark Prioritization. CoRR (2022)
Noah Oldfield, Tao Yue, Shaukat Ali
Investigating Quantum Cause-Effect Graphs. Q-SE@ICSE (2022)
Qiwei Chen, Tiexin Wang, Chengjie Lu, Tao Yue, Shaukat Ali
Enhancing the realism of autonomous driving simulation with real-time co-simulation. MoDELS (Companion) (2022)
Liping Han, Tao Yue, Shaukat Ali, Aitor Arrieta, Maite Arratibel
Are elevator software robust against uncertainties? results and experiences from an industrial case study. ESEC/SIGSOFT FSE (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion (2022)
Qinghua Xu, Shaukat Ali, Tao Yue, Maite Arratibel
Uncertainty-aware transfer learning to evolve digital twins for industrial elevators. ESEC/SIGSOFT FSE (2022)
Shaukat Ali, Tao Yue, Rui Abreu
When software engineering meets quantum computing. Commun. ACM 65 (4) (2022)
Tao Yue, Paolo Arcaini, Shaukat Ali
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022 (128) (2022)
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. Empir. Softw. Eng. 27 (6) (2022)
Shaukat Ali, Paolo Arcaini, Tao Yue
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion (2021)
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops (2021)
Qinghua Xu, Shaukat Ali, Tao Yue
Digital Twin-based Anomaly Detection in Cyber-physical Systems. ICST (2021)
Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE (2021)
Aitor Gartziandia, Jon Ayerdi, Aitor Arrieta, Shaukat Ali, Tao Yue, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems. ICSA Companion (2021)
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization. IEEE Trans. Software Eng. 47 (1) (2021)
Rui Abreu, Shaukat Ali, Tao Yue, Michael Felderer, Iaakov Exman
Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop Report. ACM SIGSOFT Softw. Eng. Notes 46 (4) (2021)
Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE (2021)
Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating Failing Test Suites for Quantum Programs With Search. SSBSE (2021)
Ferhat Özgür Catak, Tao Yue, Shaukat Ali
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving. AITest (2021)
Ferhat Özgür Catak, Tao Yue, Shaukat Ali
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving. CoRR (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Application of Combinatorial Testing to Quantum Programs. QRS (2021)
Chengjie Lu, Huihui Zhang, Tao Yue, Shaukat Ali
Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems. SSBSE (2021)
Tao Ma, Shaukat Ali, Tao Yue
Testing self-healing cyber-physical systems under uncertainty with reinforcement learning: an empirical study. Empir. Softw. Eng. 26 (3) (2021)
Huihui Zhang, Man Zhang, Tao Yue, Shaukat Ali, Yan Li
Uncertainty-wise Requirements Prioritization with Search. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, Tao Yue, Shaukat Ali
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. MoDELS (2021)
Rui Abreu, Shaukat Ali, Tao Yue
First International Workshop on Quantum Software Engineering (Q-SE 2020). ACM SIGSOFT Softw. Eng. Notes 46 (2) (2021)
Joritz Galarraga, Aitor Arrieta Marcos, Shaukat Ali, Goiuria Sagardui, Maite Arratibel
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty. ISSRE Workshops (2021)
Safdar Aqeel Safdar, Tao Yue, Shaukat Ali
Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. Softw. Syst. Model. 20 (1) (2021)
Safdar Aqeel Safdar, Tao Yue, Shaukat Ali, Hong Lu
Using multi-objective search and machine learning to infer rules constraining product configurations. Autom. Softw. Eng. 27 (1) (2020)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST (2020)
Tao Yue, Paolo Arcaini, Shaukat Ali
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) (2020)
Hong Lu, Tao Yue, Shaukat Ali
Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Shaukat Ali, Tao Yue
Modeling Quantum programs: challenges, initial results, and research directions. APEQES@ESEC/SIGSOFT FSE (2020)
Shaukat Ali, Paolo Arcaini, Tao Yue
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? SSBSE (2020)
Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. ACM Trans. Softw. Eng. Methodol. 29 (2) (2020)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO (2020)
Dipesh Pradhan, Shuai Wang, Tao Yue, Shaukat Ali, Marius Liaaen
Search-based test case implantation for testing untested configurations. Inf. Softw. Technol. 111 (2019)
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
Enabling automated requirements reuse and configuration. SPLC (A) (2019)
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS (2019)
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO (2019)
Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach. Softw. Qual. J. 27 (2) (2019)
Tao Ma, Shaukat Ali, Tao Yue
Modeling foundations for executable model-based testing of self-healing cyber-physical systems. Softw. Syst. Model. 18 (5) (2019)
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
Employing rule mining and multi-objective search for dynamic test case prioritization. J. Syst. Softw. 153 (2019)
Man Zhang, Shaukat Ali, Tao Yue
Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. J. Syst. Softw. 153 (2019)
Mike Papadakis, Shaukat Ali, Gilles Perrouin
Editorial to the theme section on model-based testing. Softw. Syst. Model. 18 (2) (2019)
Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz
Uncertainty-Wise Cyber-Physical System test modeling. Softw. Syst. Model. 18 (2) (2019)
Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård
Automated Refactoring of OCL Constraints with Search. IEEE Trans. Software Eng. 45 (2) (2019)
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big data from the cloud to the edge: the aggregate computing solution. ECSA (Companion) (2019)
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
Enabling automated requirements reuse and configuration. Softw. Syst. Model. 18 (3) (2019)
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization. ICST (2018)
Markus Weninger, Paul Grünbacher, Huihui Zhang, Tao Yue, Shaukat Ali
Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment. APSEC (2018)
Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
Integrating Weight Assignment Strategies With NSGA-II for Supporting User Preference Multiobjective Optimization. IEEE Trans. Evol. Comput. 22 (3) (2018)
Huihui Zhang, Shuai Wang, Tao Yue, Shaukat Ali, Chao Liu
Search and similarity based selection of use case scenarios: An empirical study. Empir. Softw. Eng. 23 (1) (2018)
Man Zhang, Tao Yue, Shaukat Ali, Bran Selic, Oscar Okariz, Roland Norgren, Karmele Intxausti
Specifying uncertainty in use case models. J. Syst. Softw. 144 (2018)

Shaukat Ali.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shaukat Ali