Shaukat Ali

289 papers A* 9A 40B 18C 10Misc 1Journal 142Unranked 63
YearRankTypeTitle / Venue / Authors
2026 — conf
About Opportunities and Challenges in Model-Driven Engineering for Digital Twins - (Extended Abstract).
Modellierung
Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoît Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Muñoz Ariza, Alfonso Pierantonio, Fiona A. C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe
2026 J jnl
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software.
CoRR
Muhammad Yousaf, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Shuai Wang
2026 J jnl
Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation.
CoRR
Pablo Valle, Shaukat Ali, Aitor Arrieta
2026 J jnl
FlowRepair: Search-based automated program repair of CPS controllers modeled in Simulink-Stateflow.
Inf. Softw. Technol.
Aitor Arrieta, Pablo Valle, Shaukat Ali
2026 J jnl
Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models.
IEEE Softw.
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
2026 J jnl
Metamorphic Testing of Vision-Language Action-Enabled Robots.
CoRR
Pablo Valle, Sergio Segura, Shaukat Ali, Aitor Arrieta
2026 J jnl
Quantum Circuit Repair by Gate Prioritisation.
CoRR
Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini, Shaukat Ali
2026 J jnl
Search-Based Quantum Program Testing via Commuting Pauli String.
CoRR
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2026 J jnl
Software Testing in the Quantum World.
Computer
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026 J jnl
Software Testing in the Quantum World.
CoRR
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026 J jnl
UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software.
CoRR
Chengjie Lu, Jiahui Wu, Shaukat Ali, Malaika Din Hashmi, Sebastian Mathias Thomle Mason, Francois Picard, Mikkel Labori Olsen, Thomas Peyrucain
2025 — conf
A Tool for Benchmarking Large Language Models' Robustness in Assessing the Realism of Driving Scenarios.
AIware
Jiahui Wu, Chengjie Lu, Aitor Arrieta, Shaukat Ali
2025 J jnl
A Tool for Benchmarking Large Language Models' Robustness in Assessing the Realism of Driving Scenarios.
CoRR
Jiahui Wu, Chengjie Lu, Aitor Arrieta, Shaukat Ali
2025 A conf
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software.
ICST
Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen
2025 J jnl
BQTmizer: A Tool for Test Case Minimization With Quantum Annealing.
IEEE Softw.
Xinyi Wang, Shaukat Ali, Paolo Arcaini
2025 J jnl
Bloch Vector Assertions for Debugging Quantum Programs.
CoRR
Noah Oldfield, Christoph Laaber, Shaukat Ali
2025 J jnl
Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems.
Softw. Syst. Model.
Pablo Valle, Aitor Arrieta, Liping Han, Shaukat Ali, Tao Yue
2025 J jnl
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels.
CoRR
Erblin Isaku, Hassan Sartaj, Shaukat Ali
2025 J jnl
Envisioning responsible quantum software engineering and quantum artificial intelligence.
Autom. Softw. Eng.
Muneera Bano, Shaukat Ali, Didar Zowghi
2025 J jnl
Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots.
CoRR
Pablo Valle, Chengjie Lu, Shaukat Ali, Aitor Arrieta
2025 J jnl
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements.
ACM Trans. Softw. Eng. Methodol.
Noah Oldfield, Christoph Laaber, Tao Yue, Shaukat Ali
2025 J jnl
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead.
CoRR
Chengjie Lu, Pablo Valle, Jiahui Wu, Erblin Isaku, Hassan Sartaj, Aitor Arrieta, Shaukat Ali
2025 J jnl
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models.
CoRR
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
2025 A conf
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine.
ICST
Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2025 J jnl
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning.
ACM Trans. Softw. Eng. Methodol.
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2025 J jnl
Model-Driven Engineering for Digital Twins: Opportunities and Challenges.
Syst. Eng.
Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoît Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Muñoz Ariza, Alfonso Pierantonio, Fiona A. C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe
2025 J jnl
Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles.
CoRR
Jiahui Wu, Chengjie Lu, Aitor Arrieta, Shaukat Ali
2025 A* conf
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
ASE
Erblin Isaku, Hassan Sartaj, Shaukat Ali, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain
2025 J jnl
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
CoRR
Erblin Isaku, Hassan Sartaj, Shaukat Ali, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain
2025 J jnl
QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset.
CoRR
Ning Ma, Jianjun Zhao, Foutse Khomh, Shaukat Ali, Heng Li
2025 J jnl
Quantum Artificial Intelligence for Software Engineering: the Road Ahead.
CoRR
Xinyi Wang, Shaukat Ali, Paolo Arcaini
2025 A* conf
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots.
ASE
Xinyi Wang, Qinghua Xu, Paolo Arcaini, Shaukat Ali, Thomas Peyrucain
2025 J jnl
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots.
CoRR
Xinyi Wang, Qinghua Xu, Paolo Arcaini, Shaukat Ali, Thomas Peyrucain
2025 J jnl
Quantum Software Engineering: Roadmap and Challenges Ahead.
ACM Trans. Softw. Eng. Methodol.
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
2025 J jnl
Quantum circuit mutants: Empirical analysis and recommendations.
Empir. Softw. Eng.
Eñaut Mendiluze Usandizaga, Shaukat Ali, Tao Yue, Paolo Arcaini
2025 J jnl
Search-Based Software Engineering in the Landscape of AI Foundation Models.
CoRR
Hassan Sartaj, Shaukat Ali
2025 A conf
Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels.
GECCO
Karoline Nylænder, Aitor Arrieta, Shaukat Ali, Paolo Arcaini
2025 J jnl
Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels.
CoRR
Karoline Nylænder, Aitor Arrieta, Shaukat Ali, Paolo Arcaini
2025 J jnl
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models.
CoRR
Sangwon Hyun, Shaukat Ali, Muhammad Ali Babar
2025 J jnl
Software Engineering for Self-Adaptive Robotics: A Research Agenda.
CoRR
Shaukat Ali, Ana Cavalcanti, Cláudio Ângelo Gonçalves Gomes, Peter Gorm Larsen, Hassan Sartaj, Anastasios Tefas, Jim Woodcock, Houxiang Zhang
2025 J jnl
Special issue on quantum technologies for communication systems.
J. Commun. Networks
Soo Young Shin, Zhu Han, Shaukat Ali, Samuel Yen-Chi Chen, Yuanwei Liu, Soohyun Park, Joongheon Kim
2025 J jnl
Test Case Minimization with Quantum Annealers.
ACM Trans. Softw. Eng. Methodol.
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2025 J jnl
The Landscape of Quantum Software Testing Tools.
IEEE Softw.
Xinyi Wang, Shaukat Ali, Davide Taibi
2025 J jnl
Tool: QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation.
IEEE Softw.
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2025 J jnl
Uncertainty-aware environment simulation of medical devices digital twins.
Softw. Syst. Model.
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2025 J jnl
Using quantum annealing to generate test cases for cyber-physical systems.
CoRR
Hugo Araújo, Xinyi Wang, Mohammad Mousavi, Shaukat Ali
2025 J jnl
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots.
CoRR
Jiahui Wu, Chengjie Lu, Aitor Arrieta, Shaukat Ali, Thomas Peyrucain
2024 J jnl
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers.
CoRR
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
2024 — conf
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers.
SIGSOFT FSE Companion
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
2024 — conf
AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors (Invited Talk).
AIware
Shaukat Ali
2024 — conf
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context.
SIGSOFT FSE Companion
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel
2024 J jnl
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context.
CoRR
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel
2024 B conf
Approximating Stochastic Quantum Noise Through Genetic Programming.
SSBSE
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024 J jnl
Assessing Quantum Extreme Learning Machines for Software Testing in Practice.
CoRR
Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård
2024 J jnl
Assessing the Uncertainty and Robustness of Object Detection Models for Detecting Stickers on Laptops.
CoRR
Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen
2024 J jnl
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
Firdos Khan, Yuei-An Liou, Gunter Spöck, Xue Wang, Shaukat Ali
2024 J jnl
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead.
CoRR
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
2024 B conf
Digital Twins Environment Simulation for Testing Healthcare IoT Applications.
COMPSAC
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 J jnl
Envisioning Diversity and Inclusion for Quantum Software Engineering.
CoRR
Muneera Bano, Shaukat Ali, Didar Zowghi
2024 J jnl
EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism.
IEEE Trans. Software Eng.
Chengjie Lu, Shaukat Ali, Tao Yue
2024 J jnl
Evaluating Search-Based Software Microbenchmark Prioritization.
IEEE Trans. Software Eng.
Christoph Laaber, Tao Yue, Shaukat Ali
2024 J jnl
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements.
CoRR
Noah Oldfield, Christoph Laaber, Tao Yue, Shaukat Ali
2024 J jnl
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems.
CoRR
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
2024 — conf
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems.
ISoLA (5)
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
2024 J jnl
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine.
CoRR
Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2024 J jnl
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning.
CoRR
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 J jnl
Mitigating Noise in Quantum Software Testing Using Machine Learning.
IEEE Trans. Software Eng.
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2024 J jnl
Model-based digital twins of medicine dispensers for healthcare IoT applications.
Softw. Pract. Exp.
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2024 J jnl
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-Physical Systems.
IEEE Trans. Software Eng.
Qinghua Xu, Tao Yue, Shaukat Ali, Maite Arratibel
2024 J jnl
Quantum Approximate Optimization Algorithm for Test Case Optimization.
IEEE Trans. Software Eng.
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
2024 J jnl
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study.
CoRR
Xinyi Wang, Shaukat Ali, Paolo Arcaini, Narasimha Raghavan Veeraragavan, Jan F. Nygård
2024 A* conf
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers.
ASE
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024 J jnl
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers.
CoRR
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024 J jnl
Quantum Software Engineering (Dagstuhl Seminar 24512).
Dagstuhl Reports
Shaukat Ali, Johanna Barzen, Andrea Delgado, Hausi A. Müller, Juan Manuel Murillo
2024 — conf
Quantum Software Testing 101.
ICSE Companion
Shaukat Ali
2024 J jnl
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application.
CoRR
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 — conf
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models.
FORGE
Jiahui Wu, Chengjie Lu, Aitor Arrieta, Tao Yue, Shaukat Ali
2024 J jnl
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models.
CoRR
Jiahui Wu, Chengjie Lu, Aitor Arrieta, Tao Yue, Shaukat Ali
2024 J jnl
Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project.
Res. Dir. Cyber Phys. Syst.
Peter Gorm Larsen, Shaukat Ali, Roland Behrens, Ana Cavalcanti, Cláudio Gomes, Guoyuan Li, Paul De Meulenaere, Mikkel Labori Olsen, Nikolaos Passalis, Thomas Peyrucain, Jesús Tapia, Anastasios Tefas, Houxiang Zhang
2024 J jnl
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow.
CoRR
Aitor Arrieta, Pablo Valle, Shaukat Ali
2024 J jnl
Testing Medical Rules Web Services in Practice.
CoRR
Christoph Laaber, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2024 J jnl
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins.
CoRR
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2023 — conf
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway.
ESEC/SIGSOFT FSE
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan Nygård
2023 J jnl
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway.
CoRR
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 — conf
Challenges of Testing an Evolving Cancer Registration Support System in Practice.
ICSE Companion
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 J jnl
Challenges of Testing an Evolving Cancer Registration Support System in Practice.
CoRR
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 A conf
Cost Reduction on Testing Evolving Cancer Registry System.
ICSME
Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 J jnl
Cost Reduction on Testing Evolving Cancer Registry System.
CoRR
Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 J jnl
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data.
CoRR
Chengjie Lu, Tao Yue, Man Zhang, Shaukat Ali
2023 A conf
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing.
MSR
Chengjie Lu, Tao Yue, Shaukat Ali
2023 C conf
DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project.
DSD
Aitor Arrieta, Goiuria Sagardui, Aitor Agirre, Wasif Afzal, Shaukat Ali
2023 J jnl
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems.
CoRR
Qinghua Xu, Shaukat Ali, Tao Yue
2023 J jnl
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems.
ACM Trans. Softw. Eng. Methodol.
Qinghua Xu, Shaukat Ali, Tao Yue
2023 — conf
Educators Symposium.
MoDELS (Companion)
Silvia Abrahão, Shaukat Ali
2023 J jnl
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism.
CoRR
Chengjie Lu, Shaukat Ali, Tao Yue
2023 — conf
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System.
ESEC/SIGSOFT FSE
Chengjie Lu, Qinghua Xu, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan Nygård
2023 J jnl
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System.
CoRR
Chengjie Lu, Qinghua Xu, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 A* conf
Evolve the Model Universe of a System Universe.
ASE
Tao Yue, Shaukat Ali
2023 J jnl
Evolve the Model Universe of a System Universe.
CoRR
Tao Yue, Shaukat Ali
2023 J jnl
Guess What Quantum Computing Can Do for Test Case Optimization.
CoRR
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
2023 — conf
HITA: An Architecture for System-level Testing of Healthcare IoT Applications.
ECSA (Tracks, Workshops and Doctoral Symposium)
Hassan Sartaj, Shaukat Ali, Tao Yue, Julie Marie Gjøby
2023 J jnl
HITA: An Architecture for System-level Testing of Healthcare IoT Applications.
CoRR
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 — ed.
IEEE International Conference on Quantum Software, QSW 2023, Chicago, IL, USA, July 2-8, 2023
QSW
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
2023 — ed.
IEEE John Vincent Atanasoff International Symposium on Modern Computing, JVA 2023, Chicago, IL, USA, July 5-6, 2023
JVA
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
2023 — conf
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection.
ESEC/SIGSOFT FSE
Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, Inderjeet Singh
2023 J jnl
Knowledge Distillation-Empowered Digital Twin for Anomaly Detection.
CoRR
Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, Inderjeet Singh
2023 J jnl
Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions.
IEEE Trans. Software Eng.
Chengjie Lu, Yize Shi, Huihui Zhang, Man Zhang, Tiexin Wang, Tao Yue, Shaukat Ali
2023 J jnl
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications.
CoRR
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 J jnl
Noise-Aware Quantum Software Testing.
CoRR
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2023 — conf
On the Need of Quantum-Oriented Paradigm.
QP4SE@SIGSOFT FSE
Shaukat Ali, Tao Yue
2023 — conf
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
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
2023 J jnl
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems.
CoRR
Qinghua Xu, Tao Yue, Shaukat Ali, Maite Arratibel
2023 — ed.
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023
SPLC (A)
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
2023 A* conf
QuCAT: A Combinatorial Testing Tool for Quantum Software.
ASE
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2023 J jnl
QuCAT: A Combinatorial Testing Tool for Quantum Software.
CoRR
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2023 — conf
Quantum Software Testing: A Brief Introduction.
ICSE Companion
Shaukat Ali, Tao Yue
2023 J jnl
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems.
CoRR
Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2023 J jnl
Test Case Minimization with Quantum Annealers.
CoRR
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2023 — conf
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.
ESEC/SIGSOFT FSE
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 J jnl
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.
CoRR
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 Misc conf
Towards Quantum Software Requirements Engineering.
QCE
Tao Yue, Shaukat Ali, Paolo Arcaini
2023 J jnl
Towards Quantum Software Requirements Engineering.
CoRR
Tao Yue, Shaukat Ali, Paolo Arcaini
2023 J jnl
Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems.
ACM Trans. Softw. Eng. Methodol.
Liping Han, Shaukat Ali, Tao Yue, Aitor Arrieta, Maite Arratibel
2023 J jnl
Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation.
CoRR
Man Zhang, Jiahui Wu, Shaukat Ali, Tao Yue
2023 — conf
Uncertainty-Wise Model Evolution with Genetic Programming.
QRS Companion
Man Zhang, Shaukat Ali, Tao Yue
2023 J jnl
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations.
CoRR
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali
2022 — conf
Are elevator software robust against uncertainties? results and experiences from an industrial case study.
ESEC/SIGSOFT FSE
Liping Han, Tao Yue, Shaukat Ali, Aitor Arrieta, Maite Arratibel
2022 A conf
Automating Test Oracle Generation in DevOps for Industrial Elevators.
SANER
Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, Maite Arratibel
2022 — conf
Enhancing the realism of autonomous driving simulation with real-time co-simulation.
MoDELS (Companion)
Qiwei Chen, Tiexin Wang, Chengjie Lu, Tao Yue, Shaukat Ali
2022 — conf
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022).
GECCO Companion
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2022 — ed.
IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
QSW
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
2022 — conf
Investigating Quantum Cause-Effect Graphs.
Q-SE@ICSE
Noah Oldfield, Tao Yue, Shaukat Ali
2022 J jnl
Multi-Objective Search-Based Software Microbenchmark Prioritization.
CoRR
Christoph Laaber, Tao Yue, Shaukat Ali
2022 A conf
Mutation-based test generation for quantum programs with multi-objective search.
GECCO
Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali
2022 J jnl
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering.
Empir. Softw. Eng.
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
2022 — conf
QuSBT: Search-Based Testing of Quantum Programs.
ICSE-Companion
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2022 J jnl
QuSBT: Search-Based Testing of Quantum Programs.
CoRR
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2022 J jnl
Quantum Computing - Introduction to the special theme.
ERCIM News
Shaukat Ali, Sølve Selstø
2022 J jnl
Quantum Software Testing: Challenges, Early Achievements, and Opportunities.
ERCIM News
Tao Yue, Paolo Arcaini, Shaukat Ali
2022 — conf
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems.
ISoLA (4)
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
2022 J jnl
Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data.
ACM Trans. Softw. Eng. Methodol.
Ferhat Özgür Çatak, Tao Yue, Shaukat Ali
2022 — conf
Uncertainty-aware transfer learning to evolve digital twins for industrial elevators.
ESEC/SIGSOFT FSE
Qinghua Xu, Shaukat Ali, Tao Yue, Maite Arratibel
2022 J jnl
When software engineering meets quantum computing.
Commun. ACM
Shaukat Ali, Tao Yue, Rui Abreu
2021 J jnl
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems.
Softw. Syst. Model.
Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie
2021 A conf
Analyzing the impact of product configuration variations on advanced driver assistance systems with search.
GECCO
Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali
2021 C conf
Application of Combinatorial Testing to Quantum Programs.
QRS
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2021 A conf
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs.
ICST
Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue
2021 J jnl
CBGA-ES
IEEE Trans. Software Eng.
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2021 A conf
Digital Twin-based Anomaly Detection in Cyber-physical Systems.
ICST
Qinghua Xu, Shaukat Ali, Tao Yue
2021 — conf
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021).
GECCO Companion
Shaukat Ali, Paolo Arcaini, Tao Yue
2021 J jnl
First International Workshop on Quantum Software Engineering (Q-SE 2020).
ACM SIGSOFT Softw. Eng. Notes
Rui Abreu, Shaukat Ali, Tao Yue
2021 B conf
Generating Failing Test Suites for Quantum Programs With Search.
SSBSE
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2021 — conf
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty.
ISSRE Workshops
Joritz Galarraga, Aitor Arrieta Marcos, Shaukat Ali, Goiuria Sagardui, Maite Arratibel
2021 — conf
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems.
ICSA Companion
Aitor Gartziandia, Jon Ayerdi, Aitor Arrieta, Shaukat Ali, Tao Yue, Aitor Agirre, Goiuria Sagardui, Maite Arratibel
2021 A* conf
Muskit: A Mutation Analysis Tool for Quantum Software Testing.
ASE
Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue
2021 — conf
Parameter-Based Testing and Debugging of Autonomous Driving Systems.
IV Workshops
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
2021 — conf
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving.
AITest
Ferhat Özgür Çatak, Tao Yue, Shaukat Ali
2021 J jnl
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving.
CoRR
Ferhat Özgür Çatak, Tao Yue, Shaukat Ali
2021 J jnl
Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop Report.
ACM SIGSOFT Softw. Eng. Notes
Rui Abreu, Shaukat Ali, Tao Yue, Michael Felderer, Iaakov Exman
2021 A* conf
Quito: a Coverage-Guided Test Generator for Quantum Programs.
ASE
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2021 J jnl
Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search.
ACM Trans. Softw. Eng. Methodol.
Safdar Aqeel Safdar, Tao Yue, Shaukat Ali
2021 A conf
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving.
MoDELS
Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, Tao Yue, Shaukat Ali
2021 B conf
Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems.
SSBSE
Chengjie Lu, Huihui Zhang, Tao Yue, Shaukat Ali
2021 J jnl
Testing self-healing cyber-physical systems under uncertainty with reinforcement learning: an empirical study.
Empir. Softw. Eng.
Tao Ma, Shaukat Ali, Tao Yue
2021 J jnl
Uncertainty-wise Requirements Prioritization with Search.
ACM Trans. Softw. Eng. Methodol.
Huihui Zhang, Man Zhang, Tao Yue, Shaukat Ali, Yan Li
2020 B conf
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?
SSBSE
Shaukat Ali, Paolo Arcaini, Tao Yue
2020 A conf
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems.
ICST
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
2020 — conf
Modeling Quantum programs: challenges, initial results, and research directions.
APEQES@ESEC/SIGSOFT FSE
Shaukat Ali, Tao Yue
2020 J jnl
Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines.
ACM Trans. Cyber Phys. Syst.
Hong Lu, Tao Yue, Shaukat Ali
2020 J jnl
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation.
ACM Trans. Softw. Eng. Methodol.
Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue
2020 A conf
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems.
GECCO
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
2020 — conf
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model.
ISoLA (4)
Tao Yue, Paolo Arcaini, Shaukat Ali
2020 J jnl
Using multi-objective search and machine learning to infer rules constraining product configurations.
Autom. Softw. Eng.
Safdar Aqeel Safdar, Tao Yue, Shaukat Ali, Hong Lu
2019 J jnl
Automated Refactoring of OCL Constraints with Search.
IEEE Trans. Software Eng.
Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård
2019 — conf
Big data from the cloud to the edge: the aggregate computing solution.
ECSA (Companion)
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
2019 J jnl
Editorial to the theme section on model-based testing.
Softw. Syst. Model.
Mike Papadakis, Shaukat Ali, Gilles Perrouin
2019 J jnl
Employing rule mining and multi-objective search for dynamic test case prioritization.
J. Syst. Softw.
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2019 — conf
Enabling automated requirements reuse and configuration.
SPLC (A)
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
2019 J jnl
Enabling automated requirements reuse and configuration.
Softw. Syst. Model.
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
2019 J jnl
Modeling foundations for executable model-based testing of self-healing cyber-physical systems.
Softw. Syst. Model.
Tao Ma, Shaukat Ali, Tao Yue
2019 A ed.
Proceedings of the Evaluation and Assessment on Software Engineering, EASE 2019, Copenhagen, Denmark, April 15-17, 2019
EASE
Shaukat Ali, Vahid Garousi
2019 J jnl
Search-based test case implantation for testing untested configurations.
Inf. Softw. Technol.
Dipesh Pradhan, Shuai Wang, Tao Yue, Shaukat Ali, Marius Liaaen
2019 A conf
Stability analysis for safety of automotive multi-product lines: a search-based approach.
GECCO
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
2019 J jnl
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach.
Softw. Qual. J.
Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
2019 — conf
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.
VaMoS
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
2019 J jnl
Uncertainty-Wise Cyber-Physical System test modeling.
Softw. Syst. Model.
Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz
2019 J jnl
Uncertainty-wise test case generation and minimization for Cyber-Physical Systems.
J. Syst. Softw.
Man Zhang, Shaukat Ali, Tao Yue
2018 A* conf
Automated refactoring of OCL constraints with search.
ICSE
Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård
2018 J jnl
Integrating Weight Assignment Strategies With NSGA-II for Supporting User Preference Multiobjective Optimization.
IEEE Trans. Evol. Comput.
Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2018 C conf
Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System.
APSEC
Aitziber Iglesias, Tao Yue, Cristóbal Arellano, Shaukat Ali, Goiuria Sagardui
2018 A conf
REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization.
ICST
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2018 J jnl
Search and similarity based selection of use case scenarios: An empirical study.
Empir. Softw. Eng.
Huihui Zhang, Shuai Wang, Tao Yue, Shaukat Ali, Chao Liu
2018 — conf
Search-based test optimization for software systems.
GECCO (Companion)
Shaukat Ali
2018 J jnl
Specifying uncertainty in use case models.
J. Syst. Softw.
Man Zhang, Tao Yue, Shaukat Ali, Bran Selic, Oscar Okariz, Roland Norgren, Karmele Intxausti
2018 C conf
Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment.
APSEC
Markus Weninger, Paul Grünbacher, Huihui Zhang, Tao Yue, Shaukat Ali
2018 A conf
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.
ICST
Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li
2017 — conf
A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems.
MiSE@ICSE
Huihui Zhang, Tao Yue, Shaukat Ali, Ji Wu, Chao Liu
2017 B conf
A multi-objective and cost-aware optimization of requirements assignment for review.
CEC
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
2017 — conf
An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization.
SBST@ICSE
Shaukat Ali, Yan Li, Tao Yue, Man Zhang
2017 J jnl
Assessing the quality of industrial avionics software: an extensive empirical evaluation.
Empir. Softw. Eng.
Ji Wu, Shaukat Ali, Tao Yue, Jie Tian, Chao Liu
2017 J jnl
Automated product line test case selection: industrial case study and controlled experiment.
Softw. Syst. Model.
Shuai Wang, Shaukat Ali, Arnaud Gotlieb, Marius Liaaen
2017 A conf
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization.
ICST
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2017 J jnl
Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems.
Adv. Comput.
Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue, Man Zhang
2017 C conf
Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco.
MODELSWARD
Shaukat Ali, Marius Liaaen, Shuai Wang, Tao Yue
2017 C conf
Fragility-Oriented Testing with Model Execution and Reinforcement Learning.
ICTSS
Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
2017 J jnl
IOCL: An interactive tool for specifying, validating and evaluating OCL constraints.
Sci. Comput. Program.
Hammad Muhammad, Tao Yue, Shuai Wang, Shaukat Ali, Jan Nygård
2017 A conf
Mining cross product line rules with multi-objective search and machine learning.
GECCO
Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali
2017 J jnl
Model-based security engineering for cyber-physical systems: A systematic mapping study.
Inf. Softw. Technol.
Phu Hong Nguyen, Shaukat Ali, Tao Yue
2017 — conf
Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis.
SPLC (A)
Aitziber Iglesias, Hong Lu, Cristóbal Arellano, Tao Yue, Shaukat Ali, Goiuria Sagardui
2017 A conf
RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System.
ICSME
Shuai Wang, Thomas Schwitalla, Tao Yue, Shaukat Ali, Jan F. Nygård
2017 J jnl
Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques.
Inf. Softw. Technol.
Xiang Qiu, Shaukat Ali, Tao Yue, Li Zhang
2017 B conf
Search-Based Uncertainty-Wise Requirements Prioritization.
ICECCS
Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang
2017 J jnl
Uncertainty-wise evolution of test ready models.
Inf. Softw. Technol.
Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren
2017 J jnl
Zen-ReqOptimizer: a search-based approach for requirements assignment optimization.
Empir. Softw. Eng.
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
2016 B conf
A Practical Use Case Modeling Approach to Specify Crosscutting Concerns.
ICSR
Tao Yue, Huihui Zhang, Shaukat Ali, Chao Liu
2016 A* conf
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering.
ICSE
Shuai Wang, Shaukat Ali, Tao Yue, Yan Li, Marius Liaaen
2016 J jnl
A systematic test case selection methodology for product lines: results and insights from an industrial case study.
Empir. Softw. Eng.
Shuai Wang, Shaukat Ali, Arnaud Gotlieb, Marius Liaaen
2016 J jnl
Empirically evaluating OCL and Java for specifying constraints on UML models.
Softw. Syst. Model.
Tao Yue, Shaukat Ali
2016 — conf
Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search.
ICSE (Companion Volume)
Shuai Wang, Shaukat Ali, Tao Yue, Øyvind Bakkeli, Marius Liaaen
2016 — conf
Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering.
SAM
Safdar Aqeel Safdar, Tao Yue, Shaukat Ali, Hong Lu
2016 J jnl
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios.
EAI Endorsed Trans. Creative Technol.
Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu
2016 B conf
Generating boundary values from OCL constraints using constraints rewriting and search algorithms.
CEC
Shaukat Ali, Tao Yue, Xiang Qiu, Hong Lu
2016 J jnl
Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach.
Empir. Softw. Eng.
Shaukat Ali, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri
2016 B conf
MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System.
ECMFA
Shuai Wang, Hong Lu, Tao Yue, Shaukat Ali, Jan Nygård
2016 J jnl
Model-based incremental conformance checking to enable interactive product configuration.
Inf. Softw. Technol.
Hong Lu, Tao Yue, Shaukat Ali, Li Zhang
2016 A conf
Nonconformity Resolving Recommendations for Product Line Configuration.
ICST
Hong Lu, Tao Yue, Shaukat Ali, Li Zhang
2016 C conf
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice.
ICTSS
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2016 A conf
Search-Based Cost-Effective Test Case Selection within a Time Budget: An Empirical Study.
GECCO
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue
2016 C conf
Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System.
MODELSWARD
Tao Yue, Shaukat Ali, Hong Lu, Kunming Nie
2016 A conf
Towards mutation analysis for use cases.
MoDELS
Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu
2016 B conf
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model.
ECMFA
Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, Roland Norgren
2016 — conf
iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints.
D&P@MoDELS
Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang
2015 J jnl
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software.
Softw. Pract. Exp.
Ji Wu, Tao Yue, Shaukat Ali, Huihui Zhang
2015 J jnl
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines.
Softw. Syst. Model.
Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand
2015 J jnl
Cost-effective test suite minimization in product lines using search techniques.
J. Syst. Softw.
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2015 B conf
Cyber-physical system product line engineering: comprehensive domain analysis and experience report.
SPLC
Tao Yue, Shaukat Ali, Bran Selic
2015 — conf
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios.
BICT
Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu
2015 A conf
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard.
MoDELS
Shaukat Ali, Tao Yue
2015 A conf
RTCM: a natural language based, automated, and practical test case generation framework.
ISSTA
Tao Yue, Shaukat Ali, Man Zhang
2015 A conf
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems.
ICST
Shaukat Ali, Tao Yue
2015 A conf
UPMOA: An improved search algorithm to support user-preference multi-objective optimization.
ISSRE
Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2014 A conf
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines.
ICSME
Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali
2014 B conf
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models.
ECMFA
Tao Yue, Shaukat Ali
2014 — conf
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages.
SAM
Man Zhang, Tao Yue, Shaukat Ali, Huihui Zhang, Ji Wu
2014 A conf
Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment.
GECCO
Tao Yue, Shaukat Ali
2014 — conf
Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers.
QSIC
Shaukat Ali, Tao Yue, Iram Rubab
2014 J jnl
Does aspect-oriented modeling help improve the readability of UML state machines?
Softw. Syst. Model.
Shaukat Ali, Tao Yue, Lionel C. Briand
2014 C conf
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints.
ICTSS
Shaukat Ali, Tao Yue
2014 — conf
Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges.
QSIC
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
2014 — conf
How Does the UML Testing Profile Support Risk-Based Testing.
ISSRE Workshops
Shaukat Ali, Tao Yue, Andreas Hoffmann, Marc-Florian Wendland, Alessandra Bagnato, Etienne Brosse, Markus Schacher, Zhen Ru Dai
2014 A conf
Improved heuristics for solving OCL constraints using search algorithms.
GECCO
Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri
2014 — conf
Insights on the Use of OCL in Diverse Industrial Applications.
SAM
Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege
2014 — conf
Model-Based Testing of Obligations.
QSIC
Iram Rubab, Shaukat Ali, Lionel C. Briand, Yves Le Traon
2014 A conf
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results.
ICST
Shaukat Ali, Hadi Hemmati
2014 B conf
Multi-objective test prioritization in software product line testing: an industrial case study.
SPLC
Shuai Wang, David Buchmann, Shaukat Ali, Arnaud Gotlieb, Dipesh Pradhan, Marius Liaaen
2014 B conf
Random-Weighted Search-Based Multi-objective Optimization Revisited.
SSBSE
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2014 A conf
Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration.
ISSRE
Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie, Li Zhang
2013 B conf
A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments.
COMPSAC
Shaukat Ali, Tao Yue
2013 — conf
An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs).
MoDELS (Demos/Posters/StudentResearch)
Gong Zhang, Tao Yue, Shaukat Ali, Ji Wu
2013 A conf
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment.
ICST
Shaukat Ali, Tao Yue, Lionel C. Briand
2013 — conf
Automated Product Line Methodologies to Support Model-Based Testing.
MoDELS (Demos/Posters/StudentResearch)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2013 A conf
Automated Test Case Selection Using Feature Model: An Industrial Case Study.
MoDELS
Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen
2013 A conf
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems.
MoDELS
Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan
2013 — conf
Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study.
QSIC
Ji Wu, Tao Yue, Shaukat Ali, Huihui Zhang
2013 A conf
Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations.
ISSRE
Ji Wu, Shaukat Ali, Tao Yue, Jie Tian
2013 J jnl
Generating Test Data from OCL Constraints with Search Techniques.
IEEE Trans. Software Eng.
Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2013 A conf
Minimizing test suites in software product lines using weight-based genetic algorithms.
GECCO
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2013 — conf
Modeling Crisis Management System With the Restricted Use Case Modeling Approach.
CMA@MoDELS
Gong Zhang, Tao Yue, Shaukat Ali
2013 — conf
Modeling bCMS Product Line Using Feature Model, Component Family Model and UML.
CMA@MoDELS
Shuai Wang, Shaukat Ali
2013 — ed.
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.
CMA@MoDELS
Ana Moreira, Geri Georg, Gunter Mussbacher, Jörg Kienzle, Robert B. France, Shaukat Ali
2013 — conf
Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines.
MoDELS (Demos/Posters/StudentResearch)
Kunming Nie, Tao Yue, Shaukat Ali
2013 — conf
Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study.
QSIC
Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen
2013 — conf
Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework.
MoDELS (Demos/Posters/StudentResearch)
Gong Zhang, Tao Yue, Ji Wu, Shaukat Ali
2012 A conf
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study.
MoDELS
Shaukat Ali, Tao Yue, Lionel C. Briand, Suneth Walawege
2012 B conf
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies.
ECMFA
Tao Yue, Shaukat Ali
2012 — conf
Comprehensively evaluating conformance error rates of applying aspect state machines.
AOSD
Shaukat Ali, Tao Yue, Zafar I. Malik
2012 A conf
Experiences of Applying UML/MARTE on Three Industrial Projects.
MoDELS
Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand
2012 J jnl
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems.
Softw. Syst. Model.
Shaukat Ali, Lionel C. Briand, Hadi Hemmati
2012 C conf
Studying the Understandability of Aspect State Machines through the Weaving Activity.
APSEC
Shaukat Ali, Tao Yue
2011 — conf
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.
QSIC
Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2011 A conf
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms.
MoDELS
Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege
2011 B conf
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing.
ECMFA
Tao Yue, Shaukat Ali, Lionel C. Briand
2011 — conf
Comparing Six Modeling Approaches.
MoDELS (Workshops)
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
2011 — —
Scalable Model-based Robustness Testing: Novel Methodologies and Industrial Application.
Shaukat Ali
2010 J jnl
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation.
IEEE Trans. Software Eng.
Shaukat Ali, Lionel C. Briand, Hadi Hemmati, Rajwinder Kaur Panesar-Walawege
2010 — conf
An enhanced test case selection approach for model-based testing: an industrial case study.
SIGSOFT FSE
Hadi Hemmati, Lionel C. Briand, Andrea Arcuri, Shaukat Ali
2008 J jnl
Automated discovery of state transitions and their functions in source code.
Softw. Test. Verification Reliab.
Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe
2007 J jnl
A state-based approach to integration testing based on UML models.
Inf. Softw. Technol.
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur Rehman, Hajra Asghar, Muhammad Zohaib Z. Iqbal, Aamer Nadeem
2006 — conf
AutoAbstract: Problem Statement and Hypothetical Solutions.
TAIC PART
Shaukat Ali