


default search action
Shaukat Ali 0001
Person information
- affiliation: Simula Research Laboratory, Certus Software V&V Center, Lysaker, Norway
- affiliation (PhD): University of Oslo, Norway
Other persons with the same name
- Shaukat Ali 0002
— University of Peshawar, Pakistan
- Shaukat Ali 0003
— University of Wah, Pakistan (and 1 more)
- Shaukat Ali 0004 — Mohammad Ali Jinnah University, Islamabad, Pakistan
- Shaukat Ali 0005 — COMSATS University Islamabad, Department of Electrical and Computer Engineering, Pakistan
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j57]Firdos Khan
, Yuei-An Liou, Gunter Spöck, Xue Wang, Shaukat Ali:
Assessing the impacts of temperature extremes on agriculture yield and projecting future extremes using machine learning and deep learning approaches with CMIP6 data. Int. J. Appl. Earth Obs. Geoinformation 132: 104071 (2024) - [j56]Hassan Sartaj
, Shaukat Ali
, Tao Yue
, Kjetil Moberg
:
Model-based digital twins of medicine dispensers for healthcare IoT applications. Softw. Pract. Exp. 54(6): 1172-1192 (2024) - [j55]Qinghua Xu
, Tao Yue
, Shaukat Ali
, Maite Arratibel
:
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-Physical Systems. IEEE Trans. Software Eng. 50(6): 1464-1477 (2024) - [j54]Christoph Laaber
, Tao Yue
, Shaukat Ali
:
Evaluating Search-Based Software Microbenchmark Prioritization. IEEE Trans. Software Eng. 50(7): 1687-1703 (2024) - [j53]Chengjie Lu
, Shaukat Ali
, Tao Yue
:
EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism. IEEE Trans. Software Eng. 50(10): 2614-2632 (2024) - [j52]Asmar Muqeet
, Tao Yue
, Shaukat Ali
, Paolo Arcaini
:
Mitigating Noise in Quantum Software Testing Using Machine Learning. IEEE Trans. Software Eng. 50(11): 2947-2961 (2024) - [j51]Xinyi Wang
, Shaukat Ali
, Tao Yue
, Paolo Arcaini
:
Quantum Approximate Optimization Algorithm for Test Case Optimization. IEEE Trans. Software Eng. 50(12): 3249-3264 (2024) - [c132]Shaukat Ali
:
AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors (Invited Talk). AIware 2024 - [c131]Hassan Sartaj
, Shaukat Ali, Julie Marie Gjøby:
Digital Twins Environment Simulation for Testing Healthcare IoT Applications. COMPSAC 2024: 900-901 - [c130]Jiahui Wu
, Chengjie Lu
, Aitor Arrieta
, Tao Yue
, Shaukat Ali
:
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models. FORGE 2024: 40-51 - [c129]Shaukat Ali
:
Quantum Software Testing 101. ICSE Companion 2024: 426-427 - [c128]Shaukat Ali
, Paolo Arcaini
, Aitor Arrieta
:
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. ISoLA (5) 2024: 9-26 - [c127]Asmar Muqeet, Shaukat Ali, Paolo Arcaini:
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. ASE 2024: 2130-2141 - [c126]Asmar Muqeet
, Shaukat Ali
, Tao Yue
, Paolo Arcaini
:
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. SIGSOFT FSE Companion 2024: 80-91 - [c125]Xinyi Wang
, Shaukat Ali
, Aitor Arrieta
, Paolo Arcaini
, Maite Arratibel
:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. SIGSOFT FSE Companion 2024: 399-410 - [d6]Enrique Moguel
, Juan Manuel Murillo
, José García-Alonso
, Johanna Barzen
, Frank Leymann
, Shaukat Ali
, Tao Yue
, Paolo Arcaini
, Ricardo Pérez-Castillo
, Ignacio García Rodríguez de Guzmán
, Mario Piattini
, Antonio Ruiz-Cortés
, Antonio Brogi
, Jianjun Zhao
, Andriy V. Miranskyy
, Manuel Wimmer
:
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. Version 2. Zenodo, 2024 [all versions] - [d5]Noah Oldfield
, Christoph Laaber
, Tao Yue
, Shaukat Ali
:
Replication package for our paper entitled "Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements". Zenodo, 2024 - [i43]Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. CoRR abs/2402.12777 (2024) - [i42]Jiahui Wu, Chengjie Lu, Aitor Arrieta, Tao Yue, Shaukat Ali:
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models. CoRR abs/2403.09906 (2024) - [i41]Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård:
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine. CoRR abs/2404.03664 (2024) - [i40]Aitor Arrieta, Pablo Valle, Shaukat Ali:
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow. CoRR abs/2404.04688 (2024) - [i39]Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi
, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer:
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR abs/2404.06825 (2024) - [i38]Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini:
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers. CoRR abs/2404.12892 (2024) - [i37]Noah Oldfield, Christoph Laaber, Tao Yue, Shaukat Ali:
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements. CoRR abs/2405.15450 (2024) - [i36]Shaukat Ali, Paolo Arcaini, Aitor Arrieta:
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. CoRR abs/2407.18779 (2024) - [i35]Asmar Muqeet, Shaukat Ali, Paolo Arcaini:
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. CoRR abs/2408.00501 (2024) - [i34]Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen:
Assessing the Uncertainty and Robustness of Object Detection Models for Detecting Stickers on Laptops. CoRR abs/2409.03782 (2024) - [i33]Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby:
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins. CoRR abs/2410.03504 (2024) - [i32]Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby:
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning. CoRR abs/2410.03585 (2024) - [i31]Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby:
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application. CoRR abs/2410.12547 (2024) - [i30]Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård:
Assessing Quantum Extreme Learning Machines for Software Testing in Practice. CoRR abs/2410.15494 (2024) - [i29]Muneera Bano, Shaukat Ali, Didar Zowghi:
Envisioning Diversity and Inclusion for Quantum Software Engineering. CoRR abs/2410.23972 (2024) - [i28]Xinyi Wang, Shaukat Ali, Paolo Arcaini, Narasimha Raghavan Veeraragavan, Jan F. Nygård:
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study. CoRR abs/2411.04740 (2024) - [i27]Christoph Laaber, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård:
Testing Medical Rules Web Services in Practice. CoRR abs/2412.11731 (2024) - 2023
- [j50]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): 95:1-95:51 (2023) - [j49]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): 113:1-113:32 (2023) - [j48]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): 384-402 (2023) - [c124]Aitor Arrieta, Goiuria Sagardui, Aitor Agirre, Wasif Afzal, Shaukat Ali:
DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project. DSD 2023: 184-189 - [c123]Hassan Sartaj
, Shaukat Ali
, Tao Yue
, Julie Marie Gjøby
:
HITA: An Architecture for System-level Testing of Healthcare IoT Applications. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 451-468 - [c122]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: 47-48 - [c121]Shaukat Ali, Tao Yue:
Quantum Software Testing: A Brief Introduction. ICSE Companion 2023: 332-333 - [c120]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: 355-359 - [c119]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: 508-518 - [c118]Tao Yue
, Shaukat Ali
:
Evolve the Model Universe of a System Universe. ASE 2023: 1726-1731 - [c117]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE 2023: 2066-2069 - [c116]Silvia Abrahão, Shaukat Ali:
Educators Symposium. MoDELS (Companion) 2023: 91-93 - [c115]Chengjie Lu, Tao Yue, Shaukat Ali:
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. MSR 2023: 52-56 - [c114]Tao Yue, Shaukat Ali, Paolo Arcaini
:
Towards Quantum Software Requirements Engineering. QCE 2023: 161-164 - [c113]Shaukat Ali, Tao Yue:
On the Need of Quantum-Oriented Paradigm. QP4SE@SIGSOFT FSE 2023: 17-20 - [c112]Man Zhang, Shaukat Ali, Tao Yue:
Uncertainty-Wise Model Evolution with Genetic Programming. QRS Companion 2023: 843-844 - [c111]Qinghua Xu
, Shaukat Ali
, Tao Yue
, Zaimovic Nedim
, Inderjeet Singh
:
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. ESEC/SIGSOFT FSE 2023: 1867-1878 - [c110]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: 1937-1948 - [c109]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: 1973-1984 - [c108]Hassan Sartaj
, Shaukat Ali
, Tao Yue
, Kjetil Moberg
:
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. ESEC/SIGSOFT FSE 2023: 2044-2049 - [e6]Shaukat Ali, Claudio A. Ardagna, Nimanthi L. Atukorala, Johanna Barzen, Carl K. Chang, Rong Chang, Jing Fan, Ismael Faro, Sebastian Feld, Geoffrey Fox, Zhi Jin, Frank Leymann, Florian Neukart, Salvador de la Puente, Manuel Wimmer:
IEEE John Vincent Atanasoff International Symposium on Modern Computing, JVA 2023, Chicago, IL, USA, July 5-6, 2023. IEEE 2023, ISBN 979-8-3503-2889-9 [contents] - [e5]Shaukat Ali, Claudio Agostino Ardagna, Nimanthi L. Atukorala, Johanna Barzen, Carl K. Chang, Rong N. Chang, Jing Fan, Ismael Faro, Sebastian Feld, Geoffrey Fox, Zhi Jin, Frank Leymann, Florian Neukart, Salvador de la Puente, Manuel Wimmer:
IEEE International Conference on Quantum Software, QSW 2023, Chicago, IL, USA, July 2-8, 2023. IEEE 2023, ISBN 979-8-3503-0479-4 [contents] - [e4]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [d4]Chengjie Lu
, Tao Yue
, Shaukat Ali
:
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. Zenodo, 2023 - [i26]Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Noise-Aware Quantum Software Testing. CoRR abs/2306.16992 (2023) - [i25]Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. CoRR abs/2308.05505 (2023) - [i24]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 abs/2308.12805 (2023) - [i23]Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård:
Challenges of Testing an Evolving Cancer Registration Support System in Practice. CoRR abs/2308.13306 (2023) - [i22]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR abs/2309.00119 (2023) - [i21]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 abs/2309.03246 (2023) - [i20]Hassan Sartaj
, Shaukat Ali, Tao Yue, Kjetil Moberg:
HITA: An Architecture for System-level Testing of Healthcare IoT Applications. CoRR abs/2309.04223 (2023) - [i19]Hassan Sartaj
, Shaukat Ali, Tao Yue, Kjetil Moberg:
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. CoRR abs/2309.04230 (2023) - [i18]Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, Inderjeet Singh:
Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. CoRR abs/2309.04616 (2023) - [i17]Tao Yue, Shaukat Ali:
Evolve the Model Universe of a System Universe. CoRR abs/2309.13342 (2023) - [i16]Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. CoRR abs/2309.13358 (2023) - [i15]Qinghua Xu, Shaukat Ali, Tao Yue:
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems. CoRR abs/2309.15995 (2023) - [i14]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 abs/2309.17038 (2023) - [i13]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 abs/2310.00032 (2023) - [i12]Chengjie Lu, Tao Yue, Man Zhang, Shaukat Ali:
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data. CoRR abs/2310.05170 (2023) - [i11]Man Zhang, Jiahui Wu, Shaukat Ali, Tao Yue:
Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation. CoRR abs/2311.12484 (2023) - [i10]Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR abs/2311.14461 (2023) - [i9]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 abs/2311.16913 (2023) - [i8]Chengjie Lu, Shaukat Ali, Tao Yue:
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism. CoRR abs/2312.00207 (2023) - [i7]Hassan Sartaj
, Shaukat Ali, Tao Yue, Kjetil Moberg:
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications. CoRR abs/2312.04662 (2023) - [i6]Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini:
Guess What Quantum Computing Can Do for Test Case Optimization. CoRR abs/2312.15547 (2023) - 2022
- [j47]Shaukat Ali, Tao Yue, Rui Abreu:
When software engineering meets quantum computing. Commun. ACM 65(4): 84-88 (2022) - [j46]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): 144 (2022) - [j45]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): 79:1-79:31 (2022) - [c107]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: 47-48 - [c106]Xinyi Wang, Tongxuan Yu, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Mutation-based test generation for quantum programs with multi-objective search. GECCO 2022: 1345-1353 - [c105]Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion 2022: 173-177 - [c104]Noah Oldfield, Tao Yue, Shaukat Ali:
Investigating Quantum Cause-Effect Graphs. Q-SE@ICSE 2022: 8-15 - [c103]Tao Yue
, Shaukat Ali
, Paolo Arcaini
, Fuyuki Ishikawa
:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21 - [c102]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: 659-667 - [c101]Qinghua Xu, Shaukat Ali, Tao Yue, Maite Arratibel:
Uncertainty-aware transfer learning to evolve digital twins for industrial elevators. ESEC/SIGSOFT FSE 2022: 1257-1268 - [c100]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: 1331-1342 - [c99]Aitor Arrieta, Maialen Otaegi, Liping Han
, Goiuria Sagardui, Shaukat Ali, Maite Arratibel:
Automating Test Oracle Generation in DevOps for Industrial Elevators. SANER 2022: 284-288 - [e3]Shaukat Ali, Claudio Agostino Ardagna, Johanna Barzen, Hongyi Bian, Carl K. Chang, Rong N. Chang, Ernesto Damiani, Ismael Faro, Sebastian Feld, Frank Leymann, Francisco Martín-Fernández, Robert Ward, Manuel Wimmer, Fatos Xhafa, Jessie Yu, Jia Zhang:
IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022. IEEE 2022, ISBN 978-1-6654-8134-2 [contents] - [d3]Chengjie Lu
, Yize Shi, Huihui Zhang
, Man Zhang
, Tiexin Wang
, Tao Yue
, Shaukat Ali
:
DeepCollision: Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. Zenodo, 2022 - [i5]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. CoRR abs/2204.08561 (2022) - [i4]Christoph Laaber, Tao Yue, Shaukat Ali:
Multi-Objective Search-Based Software Microbenchmark Prioritization. CoRR abs/2211.13525 (2022) - [i3]Shaukat Ali, Sølve Selstø:
Quantum Computing - Introduction to the special theme. ERCIM News 2022(128) (2022) - [i2]Tao Yue, Paolo Arcaini, Shaukat Ali:
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022(128) (2022) - 2021
- [j44]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): 52 (2021) - [j43]Rui Abreu, Shaukat Ali, Tao Yue:
First International Workshop on Quantum Software Engineering (Q-SE 2020). ACM SIGSOFT Softw. Eng. Notes 46(2): 30-32 (2021) - [j42]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): 23-25 (2021) - [j41]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): 211-265 (2021) - [j40]Huihui Zhang, Man Zhang
, Tao Yue
, Shaukat Ali, Yan Li:
Uncertainty-wise Requirements Prioritization with Search. ACM Trans. Softw. Eng. Methodol. 30(1): 4:1-4:54 (2021) - [j39]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): 53:1-53:36 (2021) - [j38]Dipesh Pradhan
, Shuai Wang
, Shaukat Ali
, Tao Yue
, Marius Liaaen:
CBGA-ES+: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization. IEEE Trans. Software Eng. 47(1): 86-107 (2021) - [c98]Ferhat Özgür Çatak, Tao Yue, Shaukat Ali:
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving. AITest 2021: 93-100 - [c97]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: 21-22 - [c96]Kaiou Yin, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO 2021: 1106-1114 - [c95]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: 46-53 - [c94]Shaukat Ali, Paolo Arcaini
, Xinyi Wang, Tao Yue:
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST 2021: 13-23 - [c93]Qinghua Xu, Shaukat Ali, Tao Yue:
Digital Twin-based Anomaly Detection in Cyber-physical Systems. ICST 2021: 205-216 - [c92]Joritz Galarraga, Aitor Arrieta Marcos, Shaukat Ali, Goiuria Sagardui, Maite Arratibel:
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty. ISSRE Workshops 2021: 353-358 - [c91]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: 197-202 - [c90]Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE 2021: 1237-1241 - [c89]Eñaut Mendiluze
, Shaukat Ali, Paolo Arcaini
, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE 2021: 1266-1270 - [c88]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: 101-111 - [c87]Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Application of Combinatorial Testing to Quantum Programs. QRS 2021: 179-188 - [c86]Xinyi Wang
, Paolo Arcaini
, Tao Yue
, Shaukat Ali
:
Generating Failing Test Suites for Quantum Programs With Search. SSBSE 2021: 9-25 - [c85]Chengjie Lu
, Huihui Zhang
, Tao Yue
, Shaukat Ali
:
Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems. SSBSE 2021: 41-55 - [d2]Eñaut Mendiluze Usandizaga, Shaukat Ali
, Paolo Arcaini
, Tao Yue
:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. Zenodo, 2021 - [d1]Xinyi Wang
, Paolo Arcaini
, Tao Yue
, Shaukat Ali
:
Quito: a Coverage-Guided Test Generator for Quantum Programs. Zenodo, 2021 - [i1]Ferhat Özgür Çatak, Tao Yue, Shaukat Ali:
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving. CoRR abs/2107.04991 (2021) - 2020
- [j37]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): 1-62 (2020) - [j36]Hong Lu, Tao Yue
, Shaukat Ali:
Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines. ACM Trans. Cyber Phys. Syst. 4(4): 44:1-44:24 (2020) - [j35]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): 10:1-10:29 (2020) - [c84]Alessandro Calò, Paolo Arcaini
, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO 2020: 1055-1063 - [c83]Alessandro Calò, Paolo Arcaini
, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386 - [c82]Tao Yue
, Paolo Arcaini
, Shaukat Ali
:
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) 2020: 54-71 - [c81]Shaukat Ali
, Tao Yue:
Modeling Quantum programs: challenges, initial results, and research directions. APEQES@ESEC/SIGSOFT FSE 2020: 14-21 - [c80]Shaukat Ali
, Paolo Arcaini
, Tao Yue
:
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? SSBSE 2020: 25-41
2010 – 2019
- 2019
- [j34]Dipesh Pradhan
, Shuai Wang
, Tao Yue
, Shaukat Ali
, Marius Liaaen:
Search-based test case implantation for testing untested configurations. Inf. Softw. Technol. 111: 22-36 (2019) - [j33]Man Zhang
, Shaukat Ali, Tao Yue
:
Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. J. Syst. Softw. 153: 1-21 (2019) - [j32]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: 86-104 (2019) - [j31]Mike Papadakis
, Shaukat Ali, Gilles Perrouin
:
Editorial to the theme section on model-based testing. Softw. Syst. Model. 18(2): 795-796 (2019) - [j30]Man Zhang
, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz:
Uncertainty-Wise Cyber-Physical System test modeling. Softw. Syst. Model. 18(2): 1379-1418 (2019) - [j29]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Enabling automated requirements reuse and configuration. Softw. Syst. Model. 18(3): 2177-2211 (2019) - [j28]Tao Ma, Shaukat Ali, Tao Yue:
Modeling foundations for executable model-based testing of self-healing cyber-physical systems. Softw. Syst. Model. 18(5): 2843-2873 (2019) - [j27]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): 615-649 (2019) - [j26]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): 148-170 (2019) - [c79]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: 177-180 - [c78]Nian-Ze Lee
, Paolo Arcaini
, Shaukat Ali, Fuyuki Ishikawa:
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO 2019: 1241-1249 - [c77]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Enabling automated requirements reuse and configuration. SPLC (A) 2019: 29:1 - [c76]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: 12:1-12:6 - [e2]Shaukat Ali, Vahid Garousi:
Proceedings of the Evaluation and Assessment on Software Engineering, EASE 2019, Copenhagen, Denmark, April 15-17, 2019. ACM 2019, ISBN 978-1-4503-7145-2 [contents] - 2018
- [j25]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): 87-164 (2018) - [j24]Man Zhang
, Tao Yue
, Shaukat Ali
, Bran Selic, Oscar Okariz, Roland Norgren, Karmele Intxausti
:
Specifying uncertainty in use case models. J. Syst. Softw. 144: 573-603 (2018) - [j23]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): 378-393 (2018) - [c75]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: 21-30 - [c74]Aitziber Iglesias, Tao Yue, Cristóbal Arellano, Shaukat Ali, Goiuria Sagardui
:
Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System. APSEC 2018: 532-541 - [c73]Shaukat Ali:
Search-based test optimization for software systems. GECCO (Companion) 2018: 328-348 - [c72]Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård:
Automated refactoring of OCL constraints with search. ICSE 2018: 1243 - [c71]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: 46-57 - [c70]Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li:
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. ICST 2018: 204-214 - 2017
- [j22]Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue, Man Zhang
:
Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems. Adv. Comput. 107: 23-94 (2017) - [j21]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Zen-ReqOptimizer: a search-based approach for requirements assignment optimization. Empir. Softw. Eng. 22(1): 175-234 (2017) - [j20]Ji Wu, Shaukat Ali, Tao Yue, Jie Tian, Chao Liu:
Assessing the quality of industrial avionics software: an extensive empirical evaluation. Empir. Softw. Eng. 22(4): 1634-1683 (2017) - [j19]Xiang Qiu, Shaukat Ali, Tao Yue, Li Zhang:
Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques. Inf. Softw. Technol. 82: 36-54 (2017) - [j18]Phu Hong Nguyen
, Shaukat Ali, Tao Yue:
Model-based security engineering for cyber-physical systems: A systematic mapping study. Inf. Softw. Technol. 83: 116-135 (2017) - [j17]Man Zhang
, Shaukat Ali, Tao Yue, Roland Norgren:
Uncertainty-wise evolution of test ready models. Inf. Softw. Technol. 87: 140-159 (2017) - [j16]Hammad Muhammad, Tao Yue
, Shuai Wang
, Shaukat Ali, Jan Nygård
:
IOCL: An interactive tool for specifying, validating and evaluating OCL constraints. Sci. Comput. Program. 149: 3-8 (2017) - [j15]Shuai Wang, Shaukat Ali
, Arnaud Gotlieb, Marius Liaaen:
Automated product line test case selection: industrial case study and controlled experiment. Softw. Syst. Model. 16(2): 417-441 (2017) - [c69]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
A multi-objective and cost-aware optimization of requirements assignment for review. CEC 2017: 89-96 - [c68]Safdar Aqeel Safdar
, Hong Lu, Tao Yue, Shaukat Ali:
Mining cross product line rules with multi-objective search and machine learning. GECCO 2017: 1319-1326 - [c67]Yan Li, Man Zhang
, Tao Yue, Shaukat Ali, Li Zhang:
Search-Based Uncertainty-Wise Requirements Prioritization. ICECCS 2017: 80-89 - [c66]Huihui Zhang, Tao Yue, Shaukat Ali, Ji Wu, Chao Liu:
A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems. MiSE@ICSE 2017: 5-11 - [c65]Shaukat Ali, Yan Li, Tao Yue, Man Zhang
:
An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization. SBST@ICSE 2017: 21-27 - [c64]Shuai Wang, Thomas Schwitalla, Tao Yue, Shaukat Ali, Jan F. Nygård:
RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System. ICSME 2017: 603-612 - [c63]Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization. ICST 2017: 367-378 - [c62]Shaukat Ali, Marius Liaaen, Shuai Wang, Tao Yue:
Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco. MODELSWARD 2017: 581-589 - [c61]Tao Ma
, Shaukat Ali, Tao Yue, Maged Elaasar:
Fragility-Oriented Testing with Model Execution and Reinforcement Learning. ICTSS 2017: 3-20 - [c60]Aitziber Iglesias
, Hong Lu, Cristóbal Arellano, Tao Yue, Shaukat Ali, Goiuria Sagardui
:
Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis. SPLC (A) 2017: 195-204 - 2016
- [j14]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios. EAI Endorsed Trans. Creative Technol. 3(7): e4 (2016) - [j13]Shuai Wang, Shaukat Ali
, Arnaud Gotlieb, Marius Liaaen:
A systematic test case selection methodology for product lines: results and insights from an industrial case study. Empir. Softw. Eng. 21(4): 1586-1622 (2016) - [j12]Shaukat Ali
, Muhammad Zohaib Iqbal
, Maham Khalid, Andrea Arcuri:
Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. Empir. Softw. Eng. 21(6): 2459-2502 (2016) - [j11]Hong Lu, Tao Yue
, Shaukat Ali, Li Zhang:
Model-based incremental conformance checking to enable interactive product configuration. Inf. Softw. Technol. 72: 68-89 (2016) - [j10]Tao Yue, Shaukat Ali
:
Empirically evaluating OCL and Java for specifying constraints on UML models. Softw. Syst. Model. 15(3): 757-781 (2016) - [c59]Shaukat Ali, Tao Yue, Xiang Qiu, Hong Lu:
Generating boundary values from OCL constraints using constraints rewriting and search algorithms. CEC 2016: 379-386 - [c58]Shuai Wang, Hong Lu, Tao Yue, Shaukat Ali, Jan Nygård:
MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System. ECMFA 2016: 191-204 - [c57]Man Zhang
, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, Roland Norgren:
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model. ECMFA 2016: 247-264 - [c56]Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue:
Search-Based Cost-Effective Test Case Selection within a Time Budget: An Empirical Study. GECCO 2016: 1085-1092 - [c55]Shuai Wang, Shaukat Ali, Tao Yue, Øyvind Bakkeli, Marius Liaaen:
Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search. ICSE (Companion Volume) 2016: 182-191 - [c54]Shuai Wang, Shaukat Ali, Tao Yue, Yan Li, Marius Liaaen:
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering. ICSE 2016: 631-642 - [c53]Tao Yue, Huihui Zhang, Shaukat Ali, Chao Liu:
A Practical Use Case Modeling Approach to Specify Crosscutting Concerns. ICSR 2016: 89-105 - [c52]Hong Lu, Tao Yue, Shaukat Ali, Li Zhang:
Nonconformity Resolving Recommendations for Product Line Configuration. ICST 2016: 57-68 - [c51]Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang:
iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. D&P@MoDELS 2016: 24-31 - [c50]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Towards mutation analysis for use cases. MoDELS 2016: 363-373 - [c49]Tao Yue, Shaukat Ali, Hong Lu, Kunming Nie:
Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System. MODELSWARD 2016: 691-703 - [c48]Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice. ICTSS 2016: 172-190 - [c47]Safdar Aqeel Safdar
, Tao Yue, Shaukat Ali, Hong Lu:
Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering. SAM 2016: 1-19 - 2015
- [j9]Shuai Wang, Shaukat Ali
, Arnaud Gotlieb:
Cost-effective test suite minimization in product lines using search techniques. J. Syst. Softw. 103: 370-391 (2015) - [j8]Muhammad Zohaib Iqbal
, Shaukat Ali
, Tao Yue, Lionel C. Briand:
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. 14(4): 1367-1385 (2015) - [j7]Ji Wu, Tao Yue, Shaukat Ali
, Huihui Zhang:
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software. Softw. Pract. Exp. 45(7): 893-924 (2015) - [c46]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios. BICT 2015: 229-236 - [c45]Shaukat Ali
, Tao Yue:
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. ICST 2015: 1-2 - [c44]Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
UPMOA: An improved search algorithm to support user-preference multi-objective optimization. ISSRE 2015: 393-404 - [c43]Tao Yue, Shaukat Ali, Man Zhang
:
RTCM: a natural language based, automated, and practical test case generation framework. ISSTA 2015: 397-408 - [c42]Shaukat Ali, Tao Yue:
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. MoDELS 2015: 396-405 - [c41]Tao Yue, Shaukat Ali, Bran Selic:
Cyber-physical system product line engineering: comprehensive domain analysis and experience report. SPLC 2015: 338-347 - 2014
- [j6]Shaukat Ali
, Tao Yue, Lionel C. Briand:
Does aspect-oriented modeling help improve the readability of UML state machines? Softw. Syst. Model. 13(3): 1189-1221 (2014) - [c40]Tao Yue, Shaukat Ali:
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models. ECMFA 2014: 213-229 - [c39]Shaukat Ali
, Muhammad Zohaib Iqbal, Andrea Arcuri:
Improved heuristics for solving OCL constraints using search algorithms. GECCO 2014: 1231-1238 - [c38]Tao Yue, Shaukat Ali
:
Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment. GECCO 2014: 1295-1302 - [c37]Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali
:
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. ICSME 2014: 557-560 - [c36]Shaukat Ali
, Hadi Hemmati:
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results. ICST 2014: 353-362 - [c35]Hong Lu, Tao Yue, Shaukat Ali
, Kunming Nie, Li Zhang:
Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. ISSRE 2014: 13-22 - [c34]Shaukat Ali
, Tao Yue, Andreas Hoffmann, Marc-Florian Wendland, Alessandra Bagnato
, Etienne Brosse, Markus Schacher, Zhen Ru Dai:
How Does the UML Testing Profile Support Risk-Based Testing. ISSRE Workshops 2014: 311-316 - [c33]Shaukat Ali, Tao Yue:
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. ICTSS 2014: 17-31 - [c32]Iram Rubab, Shaukat Ali
, Lionel C. Briand, Yves Le Traon
:
Model-Based Testing of Obligations. QSIC 2014: 1-10 - [c31]Tao Yue, Shaukat Ali
, Arnaud Descour, Qitao Gan, Marius Liaaen, Geir Magne Merkesvik, Boas Krøgh Nielsen, Jan Nygård, Bjørn Ove Olafsen, Anne Lise Waal:
Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges. QSIC 2014: 37-46 - [c30]Shaukat Ali
, Tao Yue, Iram Rubab:
Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers. QSIC 2014: 234-239 - [c29]Man Zhang
, Tao Yue, Shaukat Ali, Huihui Zhang, Ji Wu:
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages. SAM 2014: 142-157 - [c28]Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal
, Rajwinder Kaur Panesar-Walawege:
Insights on the Use of OCL in Diverse Industrial Applications. SAM 2014: 223-238 - [c27]Shuai Wang, David Buchmann, Shaukat Ali
, Arnaud Gotlieb, Dipesh Pradhan, Marius Liaaen:
Multi-objective test prioritization in software product line testing: an industrial case study. SPLC 2014: 32-41 - [c26]Shuai Wang, Shaukat Ali, Arnaud Gotlieb:
Random-Weighted Search-Based Multi-objective Optimization Revisited. SSBSE 2014: 199-214 - 2013
- [j5]Shaukat Ali
, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Generating Test Data from OCL Constraints with Search Techniques. IEEE Trans. Software Eng. 39(10): 1376-1402 (2013) - [c25]Shaukat Ali
, Tao Yue:
A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments. COMPSAC 2013: 262-267 - [c24]Shuai Wang, Shaukat Ali
, Arnaud Gotlieb:
Minimizing test suites in software product lines using weight-based genetic algorithms. GECCO 2013: 1493-1500 - [c23]Shaukat Ali
, Tao Yue, Lionel C. Briand:
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. ICST 2013: 212-221 - [c22]Ji Wu, Shaukat Ali
, Tao Yue, Jie Tian:
Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations. ISSRE 2013: 218-227 - [c21]Shuai Wang, Shaukat Ali, Arnaud Gotlieb:
Automated Product Line Methodologies to Support Model-Based Testing. MoDELS (Demos/Posters/StudentResearch) 2013: 56-60 - [c20]Gong Zhang, Tao Yue, Shaukat Ali, Ji Wu:
An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs). MoDELS (Demos/Posters/StudentResearch) 2013: 61-65 - [c19]Kunming Nie, Tao Yue, Shaukat Ali:
Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines. MoDELS (Demos/Posters/StudentResearch) 2013: 71-75 - [c18]Kunming Nie, Tao Yue, Shaukat Ali
, Li Zhang, Zhiqiang Fan:
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. MoDELS 2013: 370-387 - [c17]Shuai Wang, Shaukat Ali:
Modeling bCMS Product Line Using Feature Model, Component Family Model and UML. CMA@MoDELS 2013 - [c16]Shuai Wang, Arnaud Gotlieb, Shaukat Ali
, Marius Liaaen:
Automated Test Case Selection Using Feature Model: An Industrial Case Study. MoDELS 2013: 237-253 - [c15]Gong Zhang, Tao Yue, Shaukat Ali:
Modeling Crisis Management System With the Restricted Use Case Modeling Approach. CMA@MoDELS 2013 - [c14]Gong Zhang, Tao Yue, Ji Wu, Shaukat Ali:
Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. MoDELS (Demos/Posters/StudentResearch) 2013: 41-45 - [c13]Ji Wu, Tao Yue, Shaukat Ali
, Huihui Zhang:
Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study. QSIC 2013: 55-64 - [c12]Shuai Wang, Shaukat Ali
, Tao Yue, Marius Liaaen:
Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study. QSIC 2013: 75-84 - [e1]Ana Moreira, Geri Georg, Gunter Mussbacher, Jörg Kienzle, Robert B. France, Shaukat Ali:
Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), Miami, Florida, USA, October 1, 2013. CEUR Workshop Proceedings 1076, CEUR-WS.org 2013 [contents] - 2012
- [j4]Shaukat Ali
, Lionel C. Briand, Hadi Hemmati:
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Softw. Syst. Model. 11(4): 633-670 (2012) - [c11]Shaukat Ali
, Tao Yue, Zafar I. Malik:
Comprehensively evaluating conformance error rates of applying aspect state machines. AOSD 2012: 155-166 - [c10]Shaukat Ali
, Tao Yue:
Studying the Understandability of Aspect State Machines through the Weaving Activity. APSEC 2012: 593-602 - [c9]Tao Yue, Shaukat Ali
:
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. ECMFA 2012: 133-145 - [c8]Muhammad Zohaib Z. Iqbal
, Shaukat Ali
, Tao Yue, Lionel C. Briand:
Experiences of Applying UML/MARTE on Three Industrial Projects. MoDELS 2012: 642-658 - [c7]Shaukat Ali
, Tao Yue, Lionel C. Briand, Suneth Walawege:
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. MoDELS 2012: 726-742 - 2011
- [b1]Shaukat Ali:
Scalable Model-based Robustness Testing: Novel Methodologies and Industrial Application. University of Oslo, Norway, 2011 - [c6]Tao Yue, Shaukat Ali
, Lionel C. Briand:
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. ECMFA 2011: 115-131 - [c5]Shaukat Ali
, Lionel C. Briand, Andrea Arcuri, Suneth Walawege:
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. MoDELS 2011: 108-122 - [c4]Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali
, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca
, Betty H. C. Cheng
, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein
, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira
, An Phung-Khac, Lucy J. Troup
:
Comparing Six Modeling Approaches. MoDELS (Workshops) 2011: 217-243 - [c3]Shaukat Ali
, Muhammad Zohaib Z. Iqbal
, Andrea Arcuri, Lionel C. Briand:
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. QSIC 2011: 41-50 - 2010
- [j3]Shaukat Ali
, Lionel C. Briand, Hadi Hemmati, Rajwinder Kaur Panesar-Walawege:
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation. IEEE Trans. Software Eng. 36(6): 742-762 (2010) - [c2]Hadi Hemmati, Lionel C. Briand, Andrea Arcuri, Shaukat Ali
:
An enhanced test case selection approach for model-based testing: an industrial case study. SIGSOFT FSE 2010: 267-276
2000 – 2009
- 2008
- [j2]Neil Walkinshaw
, Kirill Bogdanov, Shaukat Ali
, Mike Holcombe:
Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. 18(2): 99-121 (2008) - 2007
- [j1]Shaukat Ali
, Lionel C. Briand, Muhammad Jaffar-Ur Rehman, Hajra Asghar, Muhammad Zohaib Z. Iqbal
, Aamer Nadeem
:
A state-based approach to integration testing based on UML models. Inf. Softw. Technol. 49(11-12): 1087-1106 (2007) - 2006
- [c1]Shaukat Ali
:
AutoAbstract: Problem Statement and Hypothetical Solutions. TAIC PART 2006: 75-80
Coauthor Index
aka: Aitor Arrieta Marcos
aka: Muhammad Zohaib Iqbal
aka: Jan F. Nygård

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-20 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint