Tao Yue

224 papers A* 6A 31B 19C 9Misc 4Journal 101Unranked 48
YearRankTypeTitle / Venue / Authors
2026 J jnl
Detecting and Mitigating Flakiness in REST API Fuzzing.
CoRR
Man Zhang, Chongyang Shen, Andrea Arcuri, Tao Yue
2026 J jnl
Fuzzing Microservices in Face of Intrinsic Uncertainties.
CoRR
Man Zhang, Tao Yue, Andrea Arcuri
2026 J jnl
Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems.
ACM Trans. Softw. Eng. Methodol.
Qi Pan, Tiexin Wang, Jianwei Ma, Paolo Arcaini, Tao Yue
2025 J jnl
A 2030 Roadmap for Software Engineering.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè, Silvia Abrahão, Birgit Penzenstadler, Denys Poshyvanyk, Abhik Roychoudhury, Tao Yue
2025 — conf
A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous Driving.
Internetware
Man Zhang, Peiru Li, Yize Shi, Tao Yue
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
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 — ed.
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A, SPLC-A 2025, A Coruña, Spain, September 1-5, 2025
SPLC (A)
Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2025 — ed.
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B, SPLC-B 2025, A CoruñaSpain, September 1-5, 2025
SPLC (B)
Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
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 Software and Its Engineering [Focus: Guest Editors' Introduction].
IEEE Softw.
Michael Epping, Michael Felderer, Vlad Gheorghiu, Tao Yue
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
Safety behavior abstraction and model evolution in autonomous driving.
Softw. Syst. Model.
Chao Tan, Tiexin Wang, Man Zhang, Tao Yue
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
Uncertainty propagation from sensor data to deep learning models in autonomous driving.
Inf. Softw. Technol.
Yifan Wang, Tiexin Wang, Tao Yue
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 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 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
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective.
ACM Trans. Softw. Eng. Methodol.
Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen
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 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (A)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (B)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 J jnl
Quantum Approximate Optimization Algorithm for Test Case Optimization.
IEEE Trans. Software Eng.
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
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
Scoping Software Engineering for AI: The TSE Perspective.
IEEE Trans. Software Eng.
Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024 B ed.
Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
SSBSE
Paolo Arcaini, Tao Yue, Erik M. Fredericks
2024 B conf
Test Architecture Generation by Leveraging BERT and Control and Data Flows.
ICECCS
Guangyu Wang, Ji Wu, Haiyan Yang, Qing Sun, Tao Yue
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 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 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 — 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 B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023
SPLC (B)
Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, 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
Simplexity testbed: A model-based digital twin testbed.
Comput. Ind.
Tiexin Wang, Chao Tan, Lei Huang, Yize Shi, Tao Yue, Zhiqiu Huang
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 J jnl
Editorial to theme section on open environmental software systems modeling.
Softw. Syst. Model.
Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang
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
Feature Difference based Misclassified Sample Detection for CNN Models Deployed in Online Environment.
QRS Companion
Changtian He, Qing Sun, Ji Wu, Haiyan Yang, Tao Yue
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 J jnl
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective.
CoRR
Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen
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 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 J jnl
Guest editorial to the special section of models 2019.
Softw. Syst. Model.
Tao Yue, Silvia Abrahão, Man Zhang
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
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 — conf
Specifying Autonomous Driving Scenarios.
RE Workshops
Yue Yu, Tiexin Wang, Tao Yue
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 — conf
Towards Efficient Use Case Modeling with Automated Domain Classification and Term Recommendation.
RE Workshops
Zewen Qi, Tiexin Wang, 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 — 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 — 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 A ed.
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019
MoDELS
Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño
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 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 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 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 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 Misc conf
Automatic Support of the Generation and Maintenance of Assurance Cases.
SETTA
Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li
2018 J jnl
Empirical Research in Software Engineering - A Literature Survey.
J. Comput. Sci. Technol.
Li Zhang, Jia-Hao Tian, Jing Jiang, Yi-Jun Liu, Meng-Yuan Pu, Tao Yue
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 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 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
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 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 J jnl
SAMM: an architecture modeling methodology for ship command and control systems.
Softw. Syst. Model.
Zhiqiang Fan, Tao Yue, 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 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
2015 J jnl
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models.
ACM Trans. Softw. Eng. Methodol.
Tao Yue, Lionel C. Briand, Yvan Labiche
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 — conf
Insights on the Use of OCL in Diverse Industrial Applications.
SAM
Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege
2014 — ed.
Proceedings of the Demonstrations Track of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, October 1st and 2nd, 2014.
MoDELS (Demos)
Tao Yue, Benoît Combemale
2014 J jnl
Traceability and SysML design slices to support safety inspections: A controlled experiment.
ACM Trans. Softw. Eng. Methodol.
Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
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 Misc conf
A generic framework for deriving architecture modeling methods for large-scale software-intensive systems.
SAC
Zhiqiang Fan, Tao Yue, Li Zhang
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 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
Facilitating the transition from use case models to analysis models: Approach and experiments.
ACM Trans. Softw. Eng. Methodol.
Tao Yue, Lionel C. Briand, Yvan Labiche
2013 — conf
Modeling Crisis Management System With the Restricted Use Case Modeling Approach.
CMA@MoDELS
Gong Zhang, Tao Yue, Shaukat Ali
2013 J jnl
SimPL: A product-line modeling methodology for families of integrated control systems.
Inf. Softw. Technol.
Razieh Behjati, Tao Yue, Lionel C. Briand, Bran Selic
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 A conf
Towards a systematic requirement-based test generation framework: Industrial challenges and needs.
RE
Shokoofeh Hesari, Razieh Behjati, Tao Yue
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 Modeling Approach to Support the Similarity-Based Reuse of Configuration Data.
MoDELS
Razieh Behjati, Tao Yue, Lionel C. Briand
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 Misc conf
Functional requirements validation by transforming use case models into Abstract State Machines.
SAC
Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci
2012 B conf
Model-Based Automated and Guided Configuration of Embedded Software Systems.
ECMFA
Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand
2012 A conf
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering.
MoDELS
Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
2012 C conf
Studying the Understandability of Aspect State Machines through the Weaving Activity.
APSEC
Shaukat Ali, Tao Yue
2011 J jnl
A systematic review of transformation approaches between user requirements and analysis models.
Requir. Eng.
Tao Yue, Lionel C. Briand, Yvan Labiche
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 B conf
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling.
ECMFA
Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic
2010 B conf
An Automated Approach to Transform Use Cases into Activity Diagrams.
ECMFA
Tao Yue, Lionel C. Briand, Yvan Labiche
2009 A conf
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.
MoDELS
Tao Yue, Lionel C. Briand, Yvan Labiche
2009 J jnl
Automated traceability analysis for UML model refinements.
Inf. Softw. Technol.
Lionel C. Briand, Yvan Labiche, Tao Yue