default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTao Yue 0002
Person information
- affiliation: Beihang University, School of Computer Science and Engineering, Beijing, China
- affiliation: Simula Research Laboratory, Fornebu, Norway
Other persons with the same name
- Tao Yue — disambiguation page
- Tao Yue 0001
![[0000-0001-8321-1898]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-8321-1898")
— Shanghai University, School of Mechatronics Engineering and Automation, China (and 1 more) - Tao Yue 0003 — Tsinghua University, Department of Automation, Beijing Key Laboratory of Multi-dimension and Multi-scale Computational Photography, Beijing, China (and 1 more)
- Tao Yue 0004 — Guilin University of Technology, Guangxi Key Laboratory for Spatial Information and Geomatics, China
- Tao Yue 0005 — Northwestern Polytechnical University, Key Laboratory of Contemporary Design and Integrated Manufacturing Technology Ministry of Education, Xi'an, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j68]Eñaut Mendiluze Usandizaga, Shaukat Ali, Tao Yue, Paolo Arcaini:
Quantum circuit mutants: Empirical analysis and recommendations. Empir. Softw. Eng. 30(3): 100 (2025)- [j67]Yifan Wang, Tiexin Wang, Tao Yue:
Uncertainty propagation from sensor data to deep learning models in autonomous driving. Inf. Softw. Technol. 183: 107735 (2025) - [j66]Michael Epping, Michael Felderer, Vlad Gheorghiu, Tao Yue:
Quantum Software and Its Engineering [Focus: Guest Editors' Introduction]. IEEE Softw. 42(5): 26-32 (2025) - [j65]Pablo Valle, Aitor Arrieta, Liping Han, Shaukat Ali, Tao Yue:
Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems. Softw. Syst. Model. 24(3): 679-704 (2025) - [j64]Chao Tan, Tiexin Wang, Man Zhang, Tao Yue:
Safety behavior abstraction and model evolution in autonomous driving. Softw. Syst. Model. 24(3): 843-863 (2025) - [j63]Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. ACM Trans. Softw. Eng. Methodol. 34(1): 5:1-5:24 (2025) - [j62]Mauro Pezzè, Silvia Abrahão, Birgit Penzenstadler, Denys Poshyvanyk, Abhik Roychoudhury, Tao Yue:
A 2030 Roadmap for Software Engineering. ACM Trans. Softw. Eng. Methodol. 34(5): 118:1-118:55 (2025) - [j61]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:
Quantum Software Engineering: Roadmap and Challenges Ahead. ACM Trans. Softw. Eng. Methodol. 34(5): 154:1-154:48 (2025) - [j60]Noah Oldfield, Christoph Laaber, Tao Yue, Shaukat Ali:
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements. ACM Trans. Softw. Eng. Methodol. 34(7): 198:1-198:39 (2025) - [e8]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:
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. ACM 2025, ISBN 979-8-4007-2024-6 [contents] - [e7]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:
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B, SPLC-B 2025, A CoruñaSpain, September 1-5, 2025. ACM 2025, ISBN 979-8-4007-2080-2 [contents] - 2024
- [j59]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) - [j58]Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen:
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective. ACM Trans. Softw. Eng. Methodol. 33(3): 60:1-60:35 (2024) - [j57]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) - [j56]Christoph Laaber, Tao Yue, Shaukat Ali:
Evaluating Search-Based Software Microbenchmark Prioritization. IEEE Trans. Software Eng. 50(7): 1687-1703 (2024) - [j55]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) - [j54]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:
Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. 50(11): 2709-2711 (2024) - [j53]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) - [j52]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) - [c114]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 - [c113]Guangyu Wang, Ji Wu, Haiyan Yang, Qing Sun, Tao Yue:
Test Architecture Generation by Leveraging BERT and Control and Data Flows. ICECCS 2024: 125-145 - [c112]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 - [e6]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e5]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e4]Paolo Arcaini, Tao Yue, Erik M. Fredericks:
Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings. Lecture Notes in Computer Science 14415, Springer 2024, ISBN 978-3-031-48795-8 [contents] - [d10]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]
- [d9]Christoph Laaber, Tao Yue, Shaukat Ali:
Replication Package "Evaluating Search-Based Software Microbenchmark Prioritization". Version v0.2.0. Zenodo, 2024 [all versions] - [d8]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:
Quantum Software Engineering: Roadmap and Challenges Ahead - Supplementary material. Zenodo, 2024 - [d7]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 - [d6]Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
BootQA: Test Case Minimization with Quantum Annealer. Zenodo, 2024 - [i30]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) - [i29]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) - [i28]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) - [i27]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) - 2023
- [j51]Tiexin Wang, Chao Tan, Lei Huang, Yize Shi, Tao Yue, Zhiqiu Huang:
Simplexity testbed: A model-based digital twin testbed. Comput. Ind. 145: 103804 (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) - [c111]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 - [c110]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 - [c109]Shaukat Ali, Tao Yue:
Quantum Software Testing: A Brief Introduction. ICSE Companion 2023: 332-333 - [c108]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 - [c107]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 - [c106]Tao Yue, Shaukat Ali:
Evolve the Model Universe of a System Universe. ASE 2023: 1726-1731 - [c105]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE 2023: 2066-2069 - [c104]Chengjie Lu, Tao Yue, Shaukat Ali:
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing. MSR 2023: 52-56 - [c103]Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. QCE 2023: 161-164 - [c102]Shaukat Ali, Tao Yue:
On the Need of Quantum-Oriented Paradigm. QP4SE@SIGSOFT FSE 2023: 17-20 - [c101]Man Zhang, Shaukat Ali, Tao Yue:
Uncertainty-Wise Model Evolution with Genetic Programming. QRS Companion 2023: 843-844 - [c100]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 - [c99]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 - [c98]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 - [c97]Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg:
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. ESEC/SIGSOFT FSE 2023: 2044-2049 - [e3]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:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [d5]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]Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang:
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21(4): 1273-1275 (2022) - [j44]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) - [c96]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 - [c95]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 - [c94]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion 2022: 173-177 - [c93]Noah Oldfield, Tao Yue, Shaukat Ali:
Investigating Quantum Cause-Effect Graphs. Q-SE@ICSE 2022: 8-15 - [c92]Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21 - [c91]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 - [c90]Changtian He, Qing Sun, Ji Wu, Haiyan Yang, Tao Yue:
Feature Difference based Misclassified Sample Detection for CNN Models Deployed in Online Environment. QRS Companion 2022: 768-769 - [c89]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 - [c88]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 - [d4]Christoph Laaber, Tao Yue, Shaukat Ali:
Replication Package "Multi-Objective Search-Based Software Microbenchmark Prioritization". Version v0.1.0. Zenodo, 2022 [all versions] - [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]Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen:
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective. CoRR abs/2211.15844 (2022) - [i2]Tao Yue, Paolo Arcaini, Shaukat Ali:
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022(128) (2022) - 2021
- [j43]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) - [j42]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) - [j41]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) - [j40]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) - [j39]Tao Yue, Silvia Abrahão, Man Zhang:
Guest editorial to the special section of models 2019. Softw. Syst. Model. 20(6): 1793-1795 (2021) - [j38]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) - [j37]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) - [j36]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) - [c87]Ferhat Özgür Çatak, Tao Yue, Shaukat Ali:
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving. AITest 2021: 93-100 - [c86]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 - [c85]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 - [c84]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 - [c83]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 - [c82]Qinghua Xu, Shaukat Ali, Tao Yue:
Digital Twin-based Anomaly Detection in Cyber-physical Systems. ICST 2021: 205-216 - [c81]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE 2021: 1237-1241 - [c80]Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE 2021: 1266-1270 - [c79]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 - [c78]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Application of Combinatorial Testing to Quantum Programs. QRS 2021: 179-188 - [c77]Zewen Qi, Tiexin Wang, Tao Yue:
Towards Efficient Use Case Modeling with Automated Domain Classification and Term Recommendation. RE Workshops 2021: 30-38 - [c76]Yue Yu, Tiexin Wang, Tao Yue:
Specifying Autonomous Driving Scenarios. RE Workshops 2021: 439-444 - [c75]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Generating Failing Test Suites for Quantum Programs With Search. SSBSE 2021: 9-25 - [c74]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
- [j35]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) - [j34]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) - [j33]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) - [c73]Tao Yue, Paolo Arcaini, Shaukat Ali:
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) 2020: 54-71 - [c72]Shaukat Ali, Tao Yue:
Modeling Quantum programs: challenges, initial results, and research directions. APEQES@ESEC/SIGSOFT FSE 2020: 14-21 - [c71]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
- [j32]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) - [j31]Man Zhang, Shaukat Ali, Tao Yue:
Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. J. Syst. Softw. 153: 1-21 (2019) - [j30]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) - [j29]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) - [j28]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Enabling automated requirements reuse and configuration. Softw. Syst. Model. 18(3): 2177-2211 (2019) - [j27]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) - [j26]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) - [j25]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) - [c70]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Enabling automated requirements reuse and configuration. SPLC (A) 2019: 29:1 - [e2]Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-2536-7 [contents] - 2018
- [j24]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) - [j23]Li Zhang, Jia-Hao Tian, Jing Jiang, Yi-Jun Liu, Meng-Yuan Pu, Tao Yue:
Empirical Research in Software Engineering - A Literature Survey. J. Comput. Sci. Technol. 33(5): 876-899 (2018) - [j22]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) - [j21]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) - [c69]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 - [c68]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 - [c67]Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård:
Automated refactoring of OCL constraints with search. ICSE 2018: 1243 - [c66]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 - [c65]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 - [c64]Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li:
Automatic Support of the Generation and Maintenance of Assurance Cases. SETTA 2018: 11-28 - 2017
- [j20]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) - [j19]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) - [j18]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) - [j17]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) - [j16]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) - [j15]Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren:
Uncertainty-wise evolution of test ready models. Inf. Softw. Technol. 87: 140-159 (2017) - [j14]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) - [c63]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
A multi-objective and cost-aware optimization of requirements assignment for review. CEC 2017: 89-96 - [c62]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 - [c61]Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang:
Search-Based Uncertainty-Wise Requirements Prioritization. ICECCS 2017: 80-89 - [c60]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 - [c59]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 - [c58]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 - [c57]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 - [c56]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 - [c55]Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar:
Fragility-Oriented Testing with Model Execution and Reinforcement Learning. ICTSS 2017: 3-20 - [c54]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
- [j13]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) - [j12]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) - [j11]Zhiqiang Fan, Tao Yue, Li Zhang:
SAMM: an architecture modeling methodology for ship command and control systems. Softw. Syst. Model. 15(1): 71-118 (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) - [c53]Shaukat Ali, Tao Yue, Xiang Qiu, Hong Lu:
Generating boundary values from OCL constraints using constraints rewriting and search algorithms. CEC 2016: 379-386 - [c52]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 - [c51]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 - [c50]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 - [c49]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 - [c48]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 - [c47]Tao Yue, Huihui Zhang, Shaukat Ali, Chao Liu:
A Practical Use Case Modeling Approach to Specify Crosscutting Concerns. ICSR 2016: 89-105 - [c46]Hong Lu, Tao Yue, Shaukat Ali, Li Zhang:
Nonconformity Resolving Recommendations for Product Line Configuration. ICST 2016: 57-68 - [c45]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 - [c44]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Towards mutation analysis for use cases. MoDELS 2016: 363-373 - [c43]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 - [c42]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 - [c41]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]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) - [j8]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) - [j7]Tao Yue, Lionel C. Briand, Yvan Labiche:
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models. ACM Trans. Softw. Eng. Methodol. 24(3): 13:1-13:52 (2015) - [c40]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios. BICT 2015: 229-236 - [c39]Shaukat Ali, Tao Yue:
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. ICST 2015: 1-2 - [c38]Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
UPMOA: An improved search algorithm to support user-preference multi-objective optimization. ISSRE 2015: 393-404 - [c37]Tao Yue, Shaukat Ali, Man Zhang:
RTCM: a natural language based, automated, and practical test case generation framework. ISSTA 2015: 397-408 - [c36]Shaukat Ali, Tao Yue:
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. MoDELS 2015: 396-405 - [c35]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) - [j5]Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue:
Traceability and SysML design slices to support safety inspections: A controlled experiment. ACM Trans. Softw. Eng. Methodol. 23(1): 9:1-9:43 (2014) - [c34]Tao Yue, Shaukat Ali:
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models. ECMFA 2014: 213-229 - [c33]Tao Yue, Shaukat Ali:
Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment. GECCO 2014: 1295-1302 - [c32]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 - [c31]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 - [c30]Shaukat Ali, Tao Yue:
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. ICTSS 2014: 17-31 - [c29]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 - [c28]Shaukat Ali, Tao Yue, Iram Rubab:
Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers. QSIC 2014: 234-239 - [c27]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 - [c26]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 - [e1]Tao Yue, Benoît Combemale:
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. CEUR Workshop Proceedings 1255, CEUR-WS.org 2014 [contents] - 2013
- [j4]Razieh Behjati, Tao Yue, Lionel C. Briand, Bran Selic:
SimPL: A product-line modeling methodology for families of integrated control systems. Inf. Softw. Technol. 55(3): 607-629 (2013) - [j3]Tao Yue, Lionel C. Briand, Yvan Labiche:
Facilitating the transition from use case models to analysis models: Approach and experiments. ACM Trans. Softw. Eng. Methodol. 22(1): 5:1-5:38 (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]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 - [c23]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 - [c22]Gong Zhang, Tao Yue, Shaukat Ali:
Modeling Crisis Management System With the Restricted Use Case Modeling Approach. CMA@MoDELS 2013 - [c21]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 - [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]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 - [c16]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 - [c15]Shokoofeh Hesari, Razieh Behjati, Tao Yue:
Towards a systematic requirement-based test generation framework: Industrial challenges and needs. RE 2013: 261-266 - [c14]Zhiqiang Fan, Tao Yue, Li Zhang:
A generic framework for deriving architecture modeling methods for large-scale software-intensive systems. SAC 2013: 1750-1757 - 2012
- [c13]Shaukat Ali, Tao Yue, Zafar I. Malik:
Comprehensively evaluating conformance error rates of applying aspect state machines. AOSD 2012: 155-166 - [c12]Shaukat Ali, Tao Yue:
Studying the Understandability of Aspect State Machines through the Weaving Activity. APSEC 2012: 593-602 - [c11]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 - [c10]Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand:
Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA 2012: 226-243 - [c9]Razieh Behjati, Tao Yue, Lionel C. Briand:
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. MoDELS 2012: 497-513 - [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 - [c6]Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue:
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. MoDELS 2012: 793-809 - [c5]Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci:
Functional requirements validation by transforming use case models into Abstract State Machines. SAC 2012: 1063-1068 - 2011
- [j2]Tao Yue, Lionel C. Briand, Yvan Labiche:
A systematic review of transformation approaches between user requirements and analysis models. Requir. Eng. 16(2): 75-99 (2011) - [c4]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 - [c3]Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic:
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ECMFA 2011: 236-252 - 2010
- [c2]Tao Yue, Lionel C. Briand, Yvan Labiche:
An Automated Approach to Transform Use Cases into Activity Diagrams. ECMFA 2010: 337-353
2000 – 2009
- 2009
- [j1]Lionel C. Briand, Yvan Labiche, Tao Yue:
Automated traceability analysis for UML model refinements. Inf. Softw. Technol. 51(2): 512-527 (2009) - [c1]Tao Yue, Lionel C. Briand, Yvan Labiche:
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. MoDELS 2009: 484-498
Coauthor Index
[j68] [j65] [j63] [j61] [j60] [j59] [j57] [j56] [j55] [j53] [j52] [c114] [c112] [d10] [d9] [d8] [d7] [d6] [i30] [i29] [i28] [i27] [j50] [j49] [j48] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [c97] [d5] [i26] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [i18] [i17] [i16] [i15] [i14] [i13] [i12] [i11] [i10] [i9] [i8] [i7] [i6] [j47] [j46] [j44] [c96] [c95] [c94] [c93] [c92] [c91] [c89] [c88] [d4] [d3] [i5] [i4] [i2] [j43] [j42] [j41] [j40] [j38] [j37] [j36] [c87] [c86] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [c75] [c74] [d2] [d1] [i1] [j35] [j34] [j33] [c73] [c72] [c71] [j32] [j31] [j30] [j29] [j28] [j27] [j26] [j25] [c70] [j24] [j22] [j21] [c69] [c68] [c67] [c66] [c65] [j20] [j19] [j18] [j17] [j16] [j15] [j14] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c54] [j13] [j12] [j10] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [j9] [j8] [c40] [c39] [c38] [c37] [c36] [c35] [j6] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c13] [c12] [c11] [c8] [c7] [c4]
Jan Nygård
aka: Jan F. Nygård
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 2026-01-25 03:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
