| 2026 | ICST | Quantum Circuit Repair by Gate Prioritisation. | Eaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini, Shaukat Ali |
| 2026 | ICST | Metamorphic Testing of Vision-Language Action-Enabled Robots. | Pablo Valle, Sergio Segura, Shaukat Ali, Aitor Arrieta |
| 2026 | ICST | Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software. | Muhammad Yousaf, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Shuai Wang |
| 2025 | GECCO | Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels. | Karoline Nylnder, Aitor Arrieta, Shaukat Ali, Paolo Arcaini |
| 2025 | ICST | LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine. | Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygrd |
| 2025 | ICST | Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software. | Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen |
| 2025 | QCE | From Ideal to Noisy: Adapting Property-Based Testing for Real-World Noisy Quantum Computers. | Gabriel Pontolillo, Asmar Muqeet, Shaukat Ali, Mohammad Reza Mousavi |
| 2024 | COMPSAC | Digital Twins Environment Simulation for Testing Healthcare IoT Applications. | Hassan Sartaj, Shaukat Ali, Julie Marie Gjby |
| 2024 | FIT | Wheat Fusarium Head Blight Disease Severity Estimation using UAS Multispectral Imagery and Machine Learning. | Ubaid ur Rehman Janjua, Maitiniyazi Maimaitijiang, Bruce Millett, Dalitso Yabwalo, Kamila Dilmurat, Mohammad Maruf Billah, Shahid Nawaz Khan, Madalyn Shires, Sunish K. Sehgal, Shaukat Ali |
| 2024 | ICSE | Quantum Software Testing 101. | Shaukat Ali |
| 2024 | ISoLA | Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. | Shaukat Ali, Paolo Arcaini, Aitor Arrieta |
| 2024 | SSBSE | Approximating Stochastic Quantum Noise Through Genetic Programming. | Asmar Muqeet, Shaukat Ali, Paolo Arcaini |
| 2023 | DSD | DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project. | Aitor Arrieta, Goiuria Sagardui, Aitor Agirre, Wasif Afzal, Shaukat Ali |
| 2023 | ECSA | HITA: An Architecture for System-level Testing of Healthcare IoT Applications. | Hassan Sartaj, Shaukat Ali, Tao Yue, Julie Marie Gjby |
| 2023 | GECCO | On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). | Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang |
| 2023 | ICSE | Quantum Software Testing: A Brief Introduction. | Shaukat Ali, Tao Yue |
| 2023 | ICSE | Challenges of Testing an Evolving Cancer Registration Support System in Practice. | Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygrd |
| 2023 | MODELS | Educators Symposium. | Silvia Abraho, Shaukat Ali |
| 2023 | MSR | DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. | Chengjie Lu, Tao Yue, Shaukat Ali |
| 2023 | QCE | Towards Quantum Software Requirements Engineering. | Tao Yue, Shaukat Ali, Paolo Arcaini |
| 2023 | QRS | Uncertainty-Wise Model Evolution with Genetic Programming. | Man Zhang, Shaukat Ali, Tao Yue |
| 2022 | GECCO | Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2022 | GECCO | Mutation-based test generation for quantum programs with multi-objective search. | Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2022 | ICSE | QuSBT: Search-Based Testing of Quantum Programs. | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2022 | ISoLA | Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. | Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa |
| 2022 | MODELS | Enhancing the realism of autonomous driving simulation with real-time co-simulation. | Qiwei Chen, Tiexin Wang, Chengjie Lu, Tao Yue, Shaukat Ali |
| 2021 | GECCO | Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). | Shaukat Ali, Paolo Arcaini, Tao Yue |
| 2021 | GECCO | Analyzing the impact of product configuration variations on advanced driver assistance systems with search. | Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2021 | ICSA | Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems. | Aitor Gartziandia, Jon Ayerdi, Aitor Arrieta, Shaukat Ali, Tao Yue, Aitor Agirre, Goiuria Sagardui, Maite Arratibel |
| 2021 | ICST | Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. | Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue |
| 2021 | ICST | Digital Twin-based Anomaly Detection in Cyber-physical Systems. | Qinghua Xu, Shaukat Ali, Tao Yue |
| 2021 | ISSRE | Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty. | Joritz Galarraga, Aitor Arrieta Marcos, Shaukat Ali, Goiuria Sagardui, Maite Arratibel |
| 2021 | MODELS | Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. | Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, Tao Yue, Shaukat Ali |
| 2021 | QRS | Application of Combinatorial Testing to Quantum Programs. | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2021 | SSBSE | Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems. | Chengjie Lu, Huihui Zhang, Tao Yue, Shaukat Ali |
| 2021 | SSBSE | Generating Failing Test Suites for Quantum Programs With Search. | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2020 | GECCO | Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. | Alessandro Cal, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | ICST | Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. | Alessandro Cal, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | ISoLA | Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. | Tao Yue, Paolo Arcaini, Shaukat Ali |
| 2020 | SSBSE | Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? | Shaukat Ali, Paolo Arcaini, Tao Yue |
| 2019 | ECSA | Big data from the cloud to the edge: the aggregate computing solution. | Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns |
| 2019 | GECCO | Stability analysis for safety of automotive multi-product lines: a search-based approach. | Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa |
| 2019 | SPLC | Enabling automated requirements reuse and configuration. | Yan Li, Tao Yue, Shaukat Ali, Li Zhang |
| 2018 | APSEC | Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System. | Aitziber Iglesias, Tao Yue, Cristbal Arellano, Shaukat Ali, Goiuria Sagardui |
| 2018 | APSEC | Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment. | Markus Weninger, Paul Grnbacher, Huihui Zhang, Tao Yue, Shaukat Ali |
| 2018 | GECCO | Search-based test optimization for software systems. | Shaukat Ali |
| 2018 | ICSE | Automated refactoring of OCL constraints with search. | Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygrd |
| 2018 | ICST | Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. | Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li |
| 2018 | ICST | REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization. | Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen |
| 2017 | CEC | A multi-objective and cost-aware optimization of requirements assignment for review. | Yan Li, Tao Yue, Shaukat Ali, Li Zhang |
| 2017 | GECCO | Mining cross product line rules with multi-objective search and machine learning. | Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali |
| 2017 | ICECCS | Search-Based Uncertainty-Wise Requirements Prioritization. | Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang |
| 2017 | ICSE | An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization. | Shaukat Ali, Yan Li, Tao Yue, Man Zhang |
| 2017 | ICSE | A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems. | Huihui Zhang, Tao Yue, Shaukat Ali, Ji Wu, Chao Liu |
| 2017 | ICST | CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization. | Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen |
| 2017 | MODELSWARD | Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco. | Shaukat Ali, Marius Liaaen, Shuai Wang, Tao Yue |
| 2017 | SPLC | Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis. | Aitziber Iglesias, Hong Lu, Cristbal Arellano, Tao Yue, Shaukat Ali, Goiuria Sagardui |
| 2016 | CEC | Generating boundary values from OCL constraints using constraints rewriting and search algorithms. | Shaukat Ali, Tao Yue, Xiang Qiu, Hong Lu |
| 2016 | FIT | BookOnt: A Comprehensive Book Structural Ontology for Book Search and Retrieval. | Asim Ullah, Irfan Ullah, Shah Khusro, Shaukat Ali |
| 2016 | GECCO | Search-Based Cost-Effective Test Case Selection within a Time Budget: An Empirical Study. | Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue |
| 2016 | ICSE | Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search. | Shuai Wang, Shaukat Ali, Tao Yue, yvind Bakkeli, Marius Liaaen |
| 2016 | ICSE | A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering. | Shuai Wang, Shaukat Ali, Tao Yue, Yan Li, Marius Liaaen |
| 2016 | ICSR | A Practical Use Case Modeling Approach to Specify Crosscutting Concerns. | Tao Yue, Huihui Zhang, Shaukat Ali, Chao Liu |
| 2016 | ICST | Nonconformity Resolving Recommendations for Product Line Configuration. | Hong Lu, Tao Yue, Shaukat Ali, Li Zhang |
| 2016 | MODELS | iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. | Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang |
| 2016 | MODELS | Towards mutation analysis for use cases. | Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu |
| 2016 | MODELSWARD | Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System. | Tao Yue, Shaukat Ali, Hong Lu, Kunming Nie |
| 2015 | ICST | U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. | Shaukat Ali, Tao Yue |
| 2015 | ISSRE | UPMOA: An improved search algorithm to support user-preference multi-objective optimization. | Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen |
| 2015 | ISSTA | RTCM: a natural language based, automated, and practical test case generation framework. | Tao Yue, Shaukat Ali, Man Zhang |
| 2015 | MODELS | Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. | Shaukat Ali, Tao Yue |
| 2015 | SPLC | Cyber-physical system product line engineering: comprehensive domain analysis and experience report. | Tao Yue, Shaukat Ali, Bran Selic |
| 2014 | GECCO | Improved heuristics for solving OCL constraints using search algorithms. | Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri |
| 2014 | GECCO | Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment. | Tao Yue, Shaukat Ali |
| 2014 | ICST | Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results. | Shaukat Ali, Hadi Hemmati |
| 2014 | ISSRE | How Does the UML Testing Profile Support Risk-Based Testing. | Shaukat Ali, Tao Yue, Andreas Hoffmann, Marc-Florian Wendland, Alessandra Bagnato, Etienne Brosse, Markus Schacher, Zhen Ru Dai |
| 2014 | ISSRE | Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. | Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie, Li Zhang |
| 2014 | SPLC | Multi-objective test prioritization in software product line testing: an industrial case study. | Shuai Wang, David Buchmann, Shaukat Ali, Arnaud Gotlieb, Dipesh Pradhan, Marius Liaaen |
| 2014 | SSBSE | Random-Weighted Search-Based Multi-objective Optimization Revisited. | Shuai Wang, Shaukat Ali, Arnaud Gotlieb |
| 2013 | COMPSAC | A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments. | Shaukat Ali, Tao Yue |
| 2013 | GECCO | Minimizing test suites in software product lines using weight-based genetic algorithms. | Shuai Wang, Shaukat Ali, Arnaud Gotlieb |
| 2013 | ICST | Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. | Shaukat Ali, Tao Yue, Lionel C. Briand |
| 2013 | ISSRE | Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations. | Ji Wu, Shaukat Ali, Tao Yue, Jie Tian |
| 2013 | MODELS | Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines. | Kunming Nie, Tao Yue, Shaukat Ali |
| 2013 | MODELS | Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. | Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan |
| 2013 | MODELS | Modeling bCMS Product Line Using Feature Model, Component Family Model and UML. | Shuai Wang, Shaukat Ali |
| 2013 | MODELS | Automated Product Line Methodologies to Support Model-Based Testing. | Shuai Wang, Shaukat Ali, Arnaud Gotlieb |
| 2013 | MODELS | Automated Test Case Selection Using Feature Model: An Industrial Case Study. | Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen |
| 2013 | MODELS | Modeling Crisis Management System With the Restricted Use Case Modeling Approach. | Gong Zhang, Tao Yue, Shaukat Ali |
| 2013 | MODELS | An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs). | Gong Zhang, Tao Yue, Shaukat Ali, Ji Wu |
| 2013 | MODELS | Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. | Gong Zhang, Tao Yue, Ji Wu, Shaukat Ali |
| 2012 | APSEC | Studying the Understandability of Aspect State Machines through the Weaving Activity. | Shaukat Ali, Tao Yue |
| 2012 | MODELS | A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. | Shaukat Ali, Tao Yue, Lionel C. Briand, Suneth Walawege |
| 2012 | MODELS | Experiences of Applying UML/MARTE on Three Industrial Projects. | Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand |
| 2011 | MODELS | An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. | Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege |
| 2011 | MODELS | Comparing Six Modeling Approaches. | Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Brk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jzquel, Jrg Kienzle, Jacques Klein, Jean-Baptiste Lzoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup |