AutoAbstract: Problem Statement and Hypothetical Solutions. - Shaukat Ali 001 (TAIC PART, 2006)

A state-based approach to integration testing based on UML models. - Shaukat Ali 001; Lionel C. Briand; Muhammad Jaffar-Ur Rehman; Hajra Asghar; Muhammad Zohaib Z. Iqbal; Aamer Nadeem (Inf. Softw. Technol., 2007)

Automated discovery of state transitions and their functions in source code. - Neil Walkinshaw; Kirill Bogdanov 002; Shaukat Ali 001; Mike Holcombe (Softw. Test. Verification Reliab., 2008)

An enhanced test case selection approach for model-based testing: an industrial case study. - Hadi Hemmati; Lionel C. Briand; Andrea Arcuri; Shaukat Ali 001 (SIGSOFT FSE, 2010)

A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation. - Shaukat Ali 001; Lionel C. Briand; Hadi Hemmati; Rajwinder Kaur Panesar-Walawege (IEEE Trans. Software Eng., 2010)

Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. - Tao Yue 002; Shaukat Ali 001; Lionel C. Briand (ECMFA, 2011)

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. - Shaukat Ali 001; Lionel C. Briand; Andrea Arcuri; Suneth Walawege (MoDELS, 2011)

Comparing Six Modeling Approaches. - Gunter Mussbacher; Wisam Al Abed; Omar Alam; Shaukat Ali 001; Antoine Beugnard; Valentin Bonnet; Rolv Bræk; Alfredo Capozucca; Betty H. C. Cheng; Urooj Fatima; Robert B. France; Geri Georg; et al. (MoDELS (Workshops), 2011)

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. - Shaukat Ali 001; Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (QSIC, 2011)

Scalable Model-based Robustness Testing: Novel Methodologies and Industrial Application. - Shaukat Ali 001 (2011)

Comprehensively evaluating conformance error rates of applying aspect state machines. - Shaukat Ali 001; Tao Yue 002; Zafar I. Malik (AOSD, 2012)

Studying the Understandability of Aspect State Machines through the Weaving Activity. - Shaukat Ali 001; Tao Yue 002 (APSEC, 2012)

Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. - Tao Yue 002; Shaukat Ali 001 (ECMFA, 2012)

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. - Shaukat Ali 001; Tao Yue 002; Lionel C. Briand; Suneth Walawege (MoDELS, 2012)

Experiences of Applying UML/MARTE on Three Industrial Projects. - Muhammad Zohaib Z. Iqbal; Shaukat Ali 001; Tao Yue 002; Lionel C. Briand (MoDELS, 2012)

Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. - Shaukat Ali 001; Lionel C. Briand; Hadi Hemmati (Softw. Syst. Model., 2012)

A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments. - Shaukat Ali 001; Tao Yue 002 (COMPSAC, 2013)

Minimizing test suites in software product lines using weight-based genetic algorithms. - Shuai Wang 001; Shaukat Ali 001; Arnaud Gotlieb (GECCO, 2013)

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. - Shaukat Ali 001; Tao Yue 002; Lionel C. Briand (ICST, 2013)

Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations. - Ji Wu 003; Shaukat Ali 001; Tao Yue 002; Jie Tian (ISSRE, 2013)

Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines. - Kunming Nie; Tao Yue 002; Shaukat Ali 001 (MoDELS (Demos/Posters/StudentResearch), 2013)

Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. - Kunming Nie; Tao Yue 002; Shaukat Ali 001; Li Zhang 029; Zhiqiang Fan (MoDELS, 2013)

Modeling bCMS Product Line Using Feature Model, Component Family Model and UML. - Shuai Wang 001; Shaukat Ali 001 (CMA@MoDELS, 2013)

Automated Product Line Methodologies to Support Model-Based Testing. - Shuai Wang 001; Shaukat Ali 001; Arnaud Gotlieb (MoDELS (Demos/Posters/StudentResearch), 2013)

Automated Test Case Selection Using Feature Model: An Industrial Case Study. - Shuai Wang 001; Arnaud Gotlieb; Shaukat Ali 001; Marius Liaaen (MoDELS, 2013)

Modeling Crisis Management System With the Restricted Use Case Modeling Approach. - Gong Zhang; Tao Yue 002; Shaukat Ali 001 (CMA@MoDELS, 2013)

An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs). - Gong Zhang; Tao Yue 002; Shaukat Ali 001; Ji Wu 003 (MoDELS (Demos/Posters/StudentResearch), 2013)

Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. - Gong Zhang; Tao Yue 002; Ji Wu 003; Shaukat Ali 001 (MoDELS (Demos/Posters/StudentResearch), 2013)

Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study. - Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (QSIC, 2013)

Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study. - Ji Wu 003; Tao Yue 002; Shaukat Ali 001; Huihui Zhang 003 (QSIC, 2013)

Generating Test Data from OCL Constraints with Search Techniques. - Shaukat Ali 001; Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (IEEE Trans. Software Eng., 2013)

A MOF-Based Framework for Defining Metrics to Measure the Quality of Models. - Tao Yue 002; Shaukat Ali 001 (ECMFA, 2014)

Improved heuristics for solving OCL constraints using search algorithms. - Shaukat Ali 001; Muhammad Zohaib Iqbal; Andrea Arcuri (GECCO, 2014)

Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment. - Tao Yue 002; Shaukat Ali 001 (GECCO, 2014)

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. - Muhammad Uzair Khan; Muhammad Zohaib Iqbal; Shaukat Ali 001 (ICSME, 2014)

Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results. - Shaukat Ali 001; Hadi Hemmati (ICST, 2014)

How Does the UML Testing Profile Support Risk-Based Testing. - Shaukat Ali 001; Tao Yue 002; Andreas Hoffmann 001; Marc-Florian Wendland; Alessandra Bagnato; Etienne Brosse; Markus Schacher; Zhen Ru Dai (ISSRE Workshops, 2014)

Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Kunming Nie; Li Zhang 029 (ISSRE, 2014)

Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. - Shaukat Ali 001; Tao Yue 002 (ICTSS, 2014)

Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers. - Shaukat Ali 001; Tao Yue 002; Iram Rubab (QSIC, 2014)

Model-Based Testing of Obligations. - Iram Rubab; Shaukat Ali 001; Lionel C. Briand; Yves Le Traon (QSIC, 2014)

Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges. - Tao Yue 002; Shaukat Ali 001; Arnaud Descour; Qitao Gan; Marius Liaaen; Geir Magne Merkesvik; Boas Krøgh Nielsen; Jan Nygård; Bjørn Ove Olafsen; Anne Lise Waal (QSIC, 2014)

Insights on the Use of OCL in Diverse Industrial Applications. - Shaukat Ali 001; Tao Yue 002; Muhammad Zohaib Iqbal; Rajwinder Kaur Panesar-Walawege (SAM, 2014)

A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages. - Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Huihui Zhang 003; Ji Wu 003 (SAM, 2014)

Multi-objective test prioritization in software product line testing: an industrial case study. - Shuai Wang 001; David Buchmann; Shaukat Ali 001; Arnaud Gotlieb; Dipesh Pradhan; Marius Liaaen (SPLC, 2014)

Random-Weighted Search-Based Multi-objective Optimization Revisited. - Shuai Wang 001; Shaukat Ali 001; Arnaud Gotlieb (SSBSE, 2014)

Does aspect-oriented modeling help improve the readability of UML state machines? - Shaukat Ali 001; Tao Yue 002; Lionel C. Briand (Softw. Syst. Model., 2014)

U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. - Shaukat Ali 001; Tao Yue 002 (ICST, 2015)

UPMOA: An improved search algorithm to support user-preference multi-objective optimization. - Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (ISSRE, 2015)

RTCM: a natural language based, automated, and practical test case generation framework. - Tao Yue 002; Shaukat Ali 001; Man Zhang 001 (ISSTA, 2015)

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. - Shaukat Ali 001; Tao Yue 002 (MoDELS, 2015)

Cyber-physical system product line engineering: comprehensive domain analysis and experience report. - Tao Yue 002; Shaukat Ali 001; Bran Selic (SPLC, 2015)

Cost-effective test suite minimization in product lines using search techniques. - Shuai Wang 001; Shaukat Ali 001; Arnaud Gotlieb (J. Syst. Softw., 2015)

Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. - Muhammad Zohaib Iqbal; Shaukat Ali 001; Tao Yue 002; Lionel C. Briand (Softw. Syst. Model., 2015)

A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software. - Ji Wu 003; Tao Yue 002; Shaukat Ali 001; Huihui Zhang 003 (Softw. Pract. Exp., 2015)

Generating boundary values from OCL constraints using constraints rewriting and search algorithms. - Shaukat Ali 001; Tao Yue 002; Xiang Qiu; Hong Lu 005 (CEC, 2016)

MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System. - Shuai Wang 001; Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Jan Nygård (ECMFA, 2016)

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model. - Man Zhang 001; Bran Selic; Shaukat Ali 001; Tao Yue 002; Oscar Okariz; Roland Norgren (ECMFA, 2016)

Search-Based Cost-Effective Test Case Selection within a Time Budget: An Empirical Study. - Dipesh Pradhan; Shuai Wang 001; Shaukat Ali 001; Tao Yue 002 (GECCO, 2016)

Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search. - Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Øyvind Bakkeli; Marius Liaaen (ICSE (Companion Volume), 2016)

A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering. - Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Yan Li 077; Marius Liaaen (ICSE, 2016)

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns. - Tao Yue 002; Huihui Zhang 003; Shaukat Ali 001; Chao Liu 002 (ICSR, 2016)

Nonconformity Resolving Recommendations for Product Line Configuration. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (ICST, 2016)

iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. - Hammad Muhammad; Tao Yue 002; Shaukat Ali 001; Shuai Wang 001 (D&P@MoDELS, 2016)

Towards mutation analysis for use cases. - Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001; Chao Liu 002 (MoDELS, 2016)

Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System. - Tao Yue 002; Shaukat Ali 001; Hong Lu 005; Kunming Nie (MODELSWARD, 2016)

STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice. - Dipesh Pradhan; Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (ICTSS, 2016)

Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering. - Safdar Aqeel Safdar; Tao Yue 002; Shaukat Ali 001; Hong Lu 005 (SAM, 2016)

Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios. - Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001; Chao Liu 002 (EAI Endorsed Trans. Creative Technol., 2016)

Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. - Shaukat Ali 001; Muhammad Zohaib Iqbal; Maham Khalid; Andrea Arcuri (Empir. Softw. Eng., 2016)

A systematic test case selection methodology for product lines: results and insights from an industrial case study. - Shuai Wang 001; Shaukat Ali 001; Arnaud Gotlieb; Marius Liaaen (Empir. Softw. Eng., 2016)

Model-based incremental conformance checking to enable interactive product configuration. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (Inf. Softw. Technol., 2016)

Empirically evaluating OCL and Java for specifying constraints on UML models. - Tao Yue 002; Shaukat Ali 001 (Softw. Syst. Model., 2016)

A multi-objective and cost-aware optimization of requirements assignment for review. - Yan Li 077; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (CEC, 2017)

Mining cross product line rules with multi-objective search and machine learning. - Safdar Aqeel Safdar; Hong Lu 005; Tao Yue 002; Shaukat Ali 001 (GECCO, 2017)

Search-Based Uncertainty-Wise Requirements Prioritization. - Yan Li 077; Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (ICECCS, 2017)

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization. - Shaukat Ali 001; Yan Li 077; Tao Yue 002; Man Zhang 001 (SBST@ICSE, 2017)

A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems. - Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001; Ji Wu 003; Chao Liu 002 (MiSE@ICSE, 2017)

RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System. - Shuai Wang 001; Thomas Schwitalla; Tao Yue 002; Shaukat Ali 001; Jan F. Nygård (ICSME, 2017)

CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization. - Dipesh Pradhan; Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (ICST, 2017)

Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco. - Shaukat Ali 001; Marius Liaaen; Shuai Wang 001; Tao Yue 002 (MODELSWARD, 2017)

Fragility-Oriented Testing with Model Execution and Reinforcement Learning. - Tao Ma; Shaukat Ali 001; Tao Yue 002; Maged Elaasar (ICTSS, 2017)

Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis. - Aitziber Iglesias; Hong Lu 005; Cristóbal Arellano; Tao Yue 002; Shaukat Ali 001; Goiuria Sagardui (SPLC (A), 2017)

Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems. - Shaukat Ali 001; Hong Lu 005; Shuai Wang 001; Tao Yue 002; Man Zhang 001 (Adv. Comput., 2017)

Zen-ReqOptimizer: a search-based approach for requirements assignment optimization. - Yan Li 077; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (Empir. Softw. Eng., 2017)

Assessing the quality of industrial avionics software: an extensive empirical evaluation. - Ji Wu 003; Shaukat Ali 001; Tao Yue 002; Jie Tian; Chao Liu 002 (Empir. Softw. Eng., 2017)

Model-based security engineering for cyber-physical systems: A systematic mapping study. - Phu Hong Nguyen; Shaukat Ali 001; Tao Yue 002 (Inf. Softw. Technol., 2017)

Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques. - Xiang Qiu; Shaukat Ali 001; Tao Yue 002; Li Zhang 029 (Inf. Softw. Technol., 2017)

Uncertainty-wise evolution of test ready models. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002; Roland Norgren (Inf. Softw. Technol., 2017)

IOCL: An interactive tool for specifying, validating and evaluating OCL constraints. - Hammad Muhammad; Tao Yue 002; Shuai Wang 001; Shaukat Ali 001; Jan Nygård (Sci. Comput. Program., 2017)

Automated product line test case selection: industrial case study and controlled experiment. - Shuai Wang 001; Shaukat Ali 001; Arnaud Gotlieb; Marius Liaaen (Softw. Syst. Model., 2017)

Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System. - Aitziber Iglesias; Tao Yue 002; Cristóbal Arellano; Shaukat Ali 001; Goiuria Sagardui (APSEC, 2018)

Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment. - Markus Weninger; Paul Grünbacher; Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001 (APSEC, 2018)

Search-based test optimization for software systems. - Shaukat Ali 001 (GECCO (Companion), 2018)

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. - Ruihua Ji; Zhong Li; Shouyu Chen; Minxue Pan; Tian Zhang 001; Shaukat Ali 001; Tao Yue 002; Xuandong Li (ICST, 2018)

REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization. - Dipesh Pradhan; Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (ICST, 2018)

Search and similarity based selection of use case scenarios: An empirical study. - Huihui Zhang 003; Shuai Wang 001; Tao Yue 002; Shaukat Ali 001; Chao Liu 002 (Empir. Softw. Eng., 2018)

Specifying uncertainty in use case models. - Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Bran Selic; Oscar Okariz; Roland Norgren; Karmele Intxausti (J. Syst. Softw., 2018)

Integrating Weight Assignment Strategies With NSGA-II for Supporting User Preference Multiobjective Optimization. - Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (IEEE Trans. Evol. Comput., 2018)

Big data from the cloud to the edge: the aggregate computing solution. - Shaukat Ali 001; Ferruccio Damiani; Schahram Dustdar; Marialuisa Sanseverino; Mirko Viroli; Danny Weyns (ECSA (Companion), 2019)

Stability analysis for safety of automotive multi-product lines: a search-based approach. - Nian-Ze Lee; Paolo Arcaini; Shaukat Ali 001; Fuyuki Ishikawa (GECCO, 2019)

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. - Shaukat Ali 001; Paolo Arcaini; Ichiro Hasuo; Fuyuki Ishikawa; Nian-Ze Lee (VaMoS, 2019)

Search-based test case implantation for testing untested configurations. - Dipesh Pradhan; Shuai Wang 001; Tao Yue 002; Shaukat Ali 001; Marius Liaaen (Inf. Softw. Technol., 2019)

Employing rule mining and multi-objective search for dynamic test case prioritization. - Dipesh Pradhan; Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (J. Syst. Softw., 2019)

Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002 (J. Syst. Softw., 2019)

Enabling automated requirements reuse and configuration. - Yan Li 077; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (Softw. Syst. Model., 2019)

Modeling foundations for executable model-based testing of self-healing cyber-physical systems. - Tao Ma; Shaukat Ali 001; Tao Yue 002 (Softw. Syst. Model., 2019)

Editorial to the theme section on model-based testing. - Mike Papadakis; Shaukat Ali 001; Gilles Perrouin (Softw. Syst. Model., 2019)

Uncertainty-Wise Cyber-Physical System test modeling. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002; Roland Norgren; Oscar Okariz (Softw. Syst. Model., 2019)

Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach. - Tao Ma; Shaukat Ali 001; Tao Yue 002; Maged Elaasar (Softw. Qual. J., 2019)

Automated Refactoring of OCL Constraints with Search. - Hong Lu 005; Shuai Wang 001; Tao Yue 002; Shaukat Ali 001; Jan F. Nygård (IEEE Trans. Software Eng., 2019)

Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. - Alessandro Calò; Paolo Arcaini; Shaukat Ali 001; Florian Hauer 002; Fuyuki Ishikawa (GECCO, 2020)

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. - Alessandro Calò; Paolo Arcaini; Shaukat Ali 001; Florian Hauer 002; Fuyuki Ishikawa (ICST, 2020)

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. - Tao Yue 002; Paolo Arcaini; Shaukat Ali 001 (ISoLA (4), 2020)

Modeling Quantum programs: challenges, initial results, and research directions. - Shaukat Ali 001; Tao Yue 002 (APEQES@ESEC/SIGSOFT FSE, 2020)

Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? - Shaukat Ali 001; Paolo Arcaini; Tao Yue 002 (SSBSE, 2020)

Using multi-objective search and machine learning to infer rules constraining product configurations. - Safdar Aqeel Safdar; Tao Yue 002; Shaukat Ali 001; Hong Lu 005 (Autom. Softw. Eng., 2020)

Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001 (ACM Trans. Cyber Phys. Syst., 2020)

Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. - Shaukat Ali 001; Paolo Arcaini; Dipesh Pradhan; Safdar Aqeel Safdar; Tao Yue 002 (ACM Trans. Softw. Eng. Methodol., 2020)

Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving. - Ferhat Özgür Çatak; Tao Yue 002; Shaukat Ali 001 (AITest, 2021)

Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). - Shaukat Ali 001; Paolo Arcaini; Tao Yue 002 (GECCO Companion, 2021)

Analyzing the impact of product configuration variations on advanced driver assistance systems with search. - Kaiou Yin; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (GECCO, 2021)

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 001; Tao Yue 002; Aitor Agirre; Goiuria Sagardui; Maite Arratibel (ICSA Companion, 2021)

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. - Shaukat Ali 001; Paolo Arcaini; Xinyi Wang 004; Tao Yue 002 (ICST, 2021)

Digital Twin-based Anomaly Detection in Cyber-physical Systems. - Qinghua Xu; Shaukat Ali 001; Tao Yue 002 (ICST, 2021)

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty. - Joritz Galarraga; Aitor Arrieta Marcos; Shaukat Ali 001; Goiuria Sagardui; Maite Arratibel (ISSRE Workshops, 2021)

Parameter-Based Testing and Debugging of Autonomous Driving Systems. - Paolo Arcaini; Alessandro Calò; Fuyuki Ishikawa; Thomas Laurent 003; Xiao-Yi Zhang 005; Shaukat Ali 001; Florian Hauer 002; Anthony Ventresque (IV Workshops, 2021)

Muskit: A Mutation Analysis Tool for Quantum Software Testing. - Eñaut Mendiluze; Shaukat Ali 001; Paolo Arcaini; Tao Yue 002 (ASE, 2021)

Quito: a Coverage-Guided Test Generator for Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (ASE, 2021)

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. - Yize Shi; Chengjie Lu; Man Zhang 001; Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001 (MoDELS, 2021)

Application of Combinatorial Testing to Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (QRS, 2021)

Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems. - Chengjie Lu; Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001 (SSBSE, 2021)

Generating Failing Test Suites for Quantum Programs With Search. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (SSBSE, 2021)

Testing self-healing cyber-physical systems under uncertainty with reinforcement learning: an empirical study. - Tao Ma; Shaukat Ali 001; Tao Yue 002 (Empir. Softw. Eng., 2021)

First International Workshop on Quantum Software Engineering (Q-SE 2020). - Rui Abreu 001; Shaukat Ali 001; Tao Yue 002 (ACM SIGSOFT Softw. Eng. Notes, 2021)

Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop Report. - Rui Abreu 001; Shaukat Ali 001; Tao Yue 002; Michael Felderer; Iaakov Exman (ACM SIGSOFT Softw. Eng. Notes, 2021)

A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. - Safdar Aqeel Safdar; Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Kunming Nie (Softw. Syst. Model., 2021)

Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search. - Safdar Aqeel Safdar; Tao Yue 002; Shaukat Ali 001 (ACM Trans. Softw. Eng. Methodol., 2021)

Uncertainty-wise Requirements Prioritization with Search. - Huihui Zhang 003; Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Yan Li 077 (ACM Trans. Softw. Eng. Methodol., 2021)

CBGA-ES+: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization. - Dipesh Pradhan; Shuai Wang 001; Shaukat Ali 001; Tao Yue 002; Marius Liaaen (IEEE Trans. Software Eng., 2021)

Muskit: A Mutation Analysis Tool for Quantum Software Testing. - Eñaut Mendiluze Usandizaga; Shaukat Ali 001; Paolo Arcaini; Tao Yue 002 (Zenodo, 2021)

Quito: a Coverage-Guided Test Generator for Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2021)

Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (GECCO Companion, 2022)

Mutation-based test generation for quantum programs with multi-objective search. - Xinyi Wang 004; Tongxuan Yu; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (GECCO, 2022)

Investigating Quantum Cause-Effect Graphs. - Noah Oldfield; Tao Yue 002; Shaukat Ali 001 (Q-SE@ICSE, 2022)

QuSBT: Search-Based Testing of Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (ICSE-Companion, 2022)

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. - Tao Yue 002; Shaukat Ali 001; Paolo Arcaini; Fuyuki Ishikawa (ISoLA (4), 2022)

Enhancing the realism of autonomous driving simulation with real-time co-simulation. - Qiwei Chen; Tiexin Wang; Chengjie Lu; Tao Yue 002; Shaukat Ali 001 (MoDELS (Companion), 2022)

Are elevator software robust against uncertainties? results and experiences from an industrial case study. - Liping Han; Tao Yue 002; Shaukat Ali 001; Aitor Arrieta; Maite Arratibel (ESEC/SIGSOFT FSE, 2022)

Uncertainty-aware transfer learning to evolve digital twins for industrial elevators. - Qinghua Xu; Shaukat Ali 001; Tao Yue 002; Maite Arratibel (ESEC/SIGSOFT FSE, 2022)

Automating Test Oracle Generation in DevOps for Industrial Elevators. - Aitor Arrieta; Maialen Otaegi; Liping Han; Goiuria Sagardui; Shaukat Ali 001; Maite Arratibel (SANER, 2022)

When software engineering meets quantum computing. - Shaukat Ali 001; Tao Yue 002; Rui Abreu 001 (Commun. ACM, 2022)

Multi-Objective Search-Based Software Microbenchmark Prioritization. - Christoph Laaber; Tao Yue 002; Shaukat Ali 001 (CoRR, 2022)

Quantum Computing - Introduction to the special theme. - Shaukat Ali 001; Sølve Selstø (ERCIM News, 2022)

Quantum Software Testing: Challenges, Early Achievements, and Opportunities. - Tao Yue 002; Paolo Arcaini; Shaukat Ali 001 (ERCIM News, 2022)

On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. - Jiahui Wu; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001; Huihui Zhang 003 (Empir. Softw. Eng., 2022)

Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data. - Ferhat Özgür Çatak; Tao Yue 002; Shaukat Ali 001 (ACM Trans. Softw. Eng. Methodol., 2022)

DeepCollision: Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. - Chengjie Lu; Yize Shi; Huihui Zhang 003; Man Zhang 001; Tiexin Wang; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2022)

Replication Package "Multi-Objective Search-Based Software Microbenchmark Prioritization". - Christoph Laaber; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2022)

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 001 (DSD, 2023)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Julie Marie Gjøby (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

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 002; Shaukat Ali 001; Huihui Zhang 003 (GECCO Companion, 2023)

Quantum Software Testing: A Brief Introduction. - Shaukat Ali 001; Tao Yue 002 (ICSE Companion, 2023)

Challenges of Testing an Evolving Cancer Registration Support System in Practice. - Christoph Laaber; Tao Yue 002; Shaukat Ali 001; Thomas Schwitalla; Jan F. Nygård (ICSE Companion, 2023)

Cost Reduction on Testing Evolving Cancer Registry System. - Erblin Isaku; Hassan Sartaj; Christoph Laaber; Tao Yue 002; Shaukat Ali 001; Thomas Schwitalla; Jan F. Nygård (ICSME, 2023)

QuCAT: A Combinatorial Testing Tool for Quantum Software. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (ASE, 2023)

Evolve the Model Universe of a System Universe. - Tao Yue 002; Shaukat Ali 001 (ASE, 2023)

Educators Symposium. - Silvia Abrahão; Shaukat Ali 001 (MoDELS (Companion), 2023)

DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. - Chengjie Lu; Tao Yue 002; Shaukat Ali 001 (MSR, 2023)

Towards Quantum Software Requirements Engineering. - Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (QCE, 2023)

On the Need of Quantum-Oriented Paradigm. - Shaukat Ali 001; Tao Yue 002 (QP4SE@SIGSOFT FSE, 2023)

Uncertainty-Wise Model Evolution with Genetic Programming. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002 (QRS Companion, 2023)

Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway. - Christoph Laaber; Tao Yue 002; Shaukat Ali 001; Thomas Schwitalla; Jan Nygård (ESEC/SIGSOFT FSE, 2023)

EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System. - Chengjie Lu; Qinghua Xu; Tao Yue 002; Shaukat Ali 001; Thomas Schwitalla; Jan Nygård (ESEC/SIGSOFT FSE, 2023)

Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Kjetil Moberg (ESEC/SIGSOFT FSE, 2023)

KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. - Qinghua Xu; Shaukat Ali 001; Tao Yue 002; Zaimovic Nedim; Inderjeet Singh (ESEC/SIGSOFT FSE, 2023)

Noise-Aware Quantum Software Testing. - Asmar Muqeet; Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (CoRR, 2023)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Kjetil Moberg (CoRR, 2023)

Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. - Qinghua Xu; Shaukat Ali 001; Tao Yue 002; Zaimovic Nedim; Inderjeet Singh (CoRR, 2023)

DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data. - Chengjie Lu; Tao Yue 002; Man Zhang 001; Shaukat Ali 001 (CoRR, 2023)

Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation. - Man Zhang 001; Jiahui Wu; Shaukat Ali 001; Tao Yue 002 (CoRR, 2023)

Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. - Qi Pan; Tiexin Wang; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (CoRR, 2023)

Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. - Eñaut Mendiluze Usandizaga; Tao Yue 002; Paolo Arcaini; Shaukat Ali 001 (CoRR, 2023)

Guess What Quantum Computing Can Do for Test Case Optimization. - Xinyi Wang 004; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini (CoRR, 2023)

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. - Chengjie Lu; Yize Shi; Huihui Zhang 003; Man Zhang 001; Tiexin Wang; Tao Yue 002; Shaukat Ali 001 (IEEE Trans. Software Eng., 2023)

DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. - Chengjie Lu; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2023)

Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems. - Liping Han; Shaukat Ali 001; Tao Yue 002; Aitor Arrieta; Maite Arratibel (ACM Trans. Softw. Eng. Methodol., 2023)

Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems. - Qinghua Xu; Shaukat Ali 001; Tao Yue 002 (ACM Trans. Softw. Eng. Methodol., 2023)

AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors (Invited Talk). - Shaukat Ali 001 (AIware, 2024)

Digital Twins Environment Simulation for Testing Healthcare IoT Applications. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (COMPSAC, 2024)

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models. - Jiahui Wu; Chengjie Lu; Aitor Arrieta; Tao Yue 002; Shaukat Ali 001 (FORGE, 2024)

Quantum Software Testing 101. - Shaukat Ali 001 (ICSE Companion, 2024)

Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. - Shaukat Ali 001; Paolo Arcaini; Aitor Arrieta (ISoLA (5), 2024)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. - Asmar Muqeet; Shaukat Ali 001; Paolo Arcaini (ASE, 2024)

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. - Xinyi Wang 004; Shaukat Ali 001; Aitor Arrieta; Paolo Arcaini; Maite Arratibel (SIGSOFT FSE Companion, 2024)

A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. - Asmar Muqeet; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini (SIGSOFT FSE Companion, 2024)

Assessing the impacts of temperature extremes on agriculture yield and projecting future extremes using machine learning and deep learning approaches with CMIP6 data. - Firdos Khan; Yuei-An Liou; Gunter Spöck; Xue Wang; Shaukat Ali 001 (Int. J. Appl. Earth Obs. Geoinformation, 2024)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow. - Aitor Arrieta; Pablo Valle; Shaukat Ali 001 (CoRR, 2024)

Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. - Juan Manuel Murillo; José García-Alonso; Enrique Moguel; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (CoRR, 2024)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. - Shaukat Ali 001; Paolo Arcaini; Aitor Arrieta (CoRR, 2024)

Assessing the Uncertainty and Robustness of Object Detection Models for Detecting Stickers on Laptops. - Chengjie Lu; Jiahui Wu; Shaukat Ali 001; Mikkel Labori Olsen (CoRR, 2024)

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (CoRR, 2024)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice. - Asmar Muqeet; Hassan Sartaj; Aitor Arrieta; Shaukat Ali 001; Paolo Arcaini; Maite Arratibel; Julie Marie Gjøby; Narasimha Raghavan Veeraragavan; Jan F. Nygård (CoRR, 2024)

Envisioning Diversity and Inclusion for Quantum Software Engineering. - Muneera Bano; Shaukat Ali 001; Didar Zowghi (CoRR, 2024)

Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study. - Xinyi Wang 004; Shaukat Ali 001; Paolo Arcaini; Narasimha Raghavan Veeraragavan; Jan F. Nygård (CoRR, 2024)

Testing Medical Rules Web Services in Practice. - Christoph Laaber; Shaukat Ali 001; Thomas Schwitalla; Jan F. Nygård (CoRR, 2024)

Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project. - Peter Gorm Larsen; Shaukat Ali 001; Roland Behrens; Ana Cavalcanti 001; Cláudio Gomes 001; Guoyuan Li; Paul De Meulenaere; Mikkel Labori Olsen; Nikolaos Passalis; Thomas Peyrucain; Jesús Tapia; Anastasios Tefas; et al. (Res. Dir. Cyber Phys. Syst., 2024)

Model-based digital twins of medicine dispensers for healthcare IoT applications. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Kjetil Moberg (Softw. Pract. Exp., 2024)

Replication Package "Evaluating Search-Based Software Microbenchmark Prioritization". - Christoph Laaber; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2024)

Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. - Enrique Moguel; Juan Manuel Murillo; José García-Alonso; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (Zenodo, 2024)

Replication package for our paper entitled "Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements". - Noah Oldfield; Christoph Laaber; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2024)

Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-Physical Systems. - Qinghua Xu; Tao Yue 002; Shaukat Ali 001; Maite Arratibel (IEEE Trans. Software Eng., 2024)

Evaluating Search-Based Software Microbenchmark Prioritization. - Christoph Laaber; Tao Yue 002; Shaukat Ali 001 (IEEE Trans. Software Eng., 2024)

BootQA: Test Case Minimization with Quantum Annealer. - Xinyi Wang 004; Asmar Muqeet; Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (Zenodo, 2024)

Quantum Software Engineering: Roadmap and Challenges Ahead - Supplementary material. - Enrique Moguel; Juan Manuel Murillo; José García-Alonso; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (Zenodo, 2024)

EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism. - Chengjie Lu; Shaukat Ali 001; Tao Yue 002 (IEEE Trans. Software Eng., 2024)

Mitigating Noise in Quantum Software Testing Using Machine Learning. - Asmar Muqeet; Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (IEEE Trans. Software Eng., 2024)

Quantum Software Engineering (Dagstuhl Seminar 24512). - Shaukat Ali 001; Johanna Barzen; Andrea Delgado 002; Hausi A. Müller; Juan Manuel Murillo (Dagstuhl Reports, 2024)

Quantum Approximate Optimization Algorithm for Test Case Optimization. - Xinyi Wang 004; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini (IEEE Trans. Software Eng., 2024)

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels. - Karoline Nylænder; Aitor Arrieta; Shaukat Ali 001; Paolo Arcaini (GECCO, 2025)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine. - Erblin Isaku; Christoph Laaber; Hassan Sartaj; Shaukat Ali 001; Thomas Schwitalla; Jan F. Nygård (ICST, 2025)

Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software. - Chengjie Lu; Jiahui Wu; Shaukat Ali 001; Mikkel Labori Olsen (ICST, 2025)

BQTmizer: A Tool for Test Case Minimization With Quantum Annealing. - Xinyi Wang 004; Shaukat Ali 001; Paolo Arcaini (IEEE Softw., 2025)

The Landscape of Quantum Software Testing Tools. - Xinyi Wang 004; Shaukat Ali 001; Davide Taibi 001 (IEEE Softw., 2025)

Test Case Minimization with Quantum Annealers. - Xinyi Wang 004; Asmar Muqeet; Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (ACM Trans. Softw. Eng. Methodol., 2025)

Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles. - Jiahui Wu; Chengjie Lu; Aitor Arrieta; Shaukat Ali 001 (CoRR, 2025)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead. - Chengjie Lu; Pablo Valle; Jiahui Wu; Erblin Isaku; Hassan Sartaj; Aitor Arrieta; Shaukat Ali 001 (CoRR, 2025)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels. - Erblin Isaku; Hassan Sartaj; Shaukat Ali 001 (CoRR, 2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models. - Hassan Sartaj; Jalil Boudjadar; Mirgita Frasheri; Shaukat Ali 001; Peter Gorm Larsen (CoRR, 2025)

Using quantum annealing to generate test cases for cyber-physical systems. - Hugo Araújo; Xinyi Wang 004; Mohammad Mousavi; Shaukat Ali 001 (CoRR, 2025)

Quantum Artificial Intelligence for Software Engineering: the Road Ahead. - Xinyi Wang 004; Shaukat Ali 001; Paolo Arcaini (CoRR, 2025)

Search-Based Software Engineering in the Landscape of AI Foundation Models. - Hassan Sartaj; Shaukat Ali 001 (CoRR, 2025)

Software Engineering for Self-Adaptive Robotics: A Research Agenda. - Shaukat Ali 001; Ana Cavalcanti 001; Cláudio Ângelo Gonçalves Gomes; Peter Gorm Larsen; Hassan Sartaj; Anastasios Tefas; Jim Woodcock 001; Houxiang Zhang (CoRR, 2025)

Bloch Vector Assertions for Debugging Quantum Programs. - Noah Oldfield; Christoph Laaber; Shaukat Ali 001 (CoRR, 2025)

Quantum circuit mutants: Empirical analysis and recommendations. - Eñaut Mendiluze Usandizaga; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini (Empir. Softw. Eng., 2025)

Uncertainty-aware environment simulation of medical devices digital twins. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (Softw. Syst. Model., 2025)

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems. - Pablo Valle; Aitor Arrieta; Liping Han; Shaukat Ali 001; Tao Yue 002 (Softw. Syst. Model., 2025)

Quantum Software Engineering: Roadmap and Challenges Ahead. - Juan Manuel Murillo; José García-Alonso; Enrique Moguel; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (ACM Trans. Softw. Eng. Methodol., 2025)

Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models. - Sangwon Hyun; Shaukat Ali 001; Muhammad Ali Babar 001 (CoRR, 2025)

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots. - Pablo Valle; Chengjie Lu; Shaukat Ali 001; Aitor Arrieta (CoRR, 2025)

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (ACM Trans. Softw. Eng. Methodol., 2025)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots. - Jiahui Wu; Chengjie Lu; Aitor Arrieta; Shaukat Ali 001; Thomas Peyrucain (CoRR, 2025)

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots. - Xinyi Wang 004; Qinghua Xu; Paolo Arcaini; Shaukat Ali 001; Thomas Peyrucain (CoRR, 2025)

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements. - Noah Oldfield; Christoph Laaber; Tao Yue 002; Shaukat Ali 001 (ACM Trans. Softw. Eng. Methodol., 2025)

Envisioning responsible quantum software engineering and quantum artificial intelligence. - Muneera Bano; Shaukat Ali 001; Didar Zowghi (Autom. Softw. Eng., 2025)