Tao Yue 0002
Person information
- affiliation: Simula Research Laboratory, Fornebu, Norway
Other persons with the same name
- Tao Yue
- Tao Yue 0001
— Ohio State University, Columbus, OH, USA
- Tao Yue 0003
— Tsinghua University, Department of Automation, Beijing Key Laboratory of Multi-dimension and Multi-scale Computational Photography, Beijing, China (and 1 more)
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j22]Huihui Zhang, Shuai Wang, Tao Yue, Shaukat Ali, Chao Liu:
Search and similarity based selection of use case scenarios: An empirical study. Empirical Software Engineering 23(1): 87-164 (2018) - [j21]Man Zhang, Tao Yue, Shaukat Ali, Bran Selic, Oscar Okariz, Roland Norgren, Karmele Intxausti:
Specifying uncertainty in use case models. Journal of Systems and Software 144: 573-603 (2018) - [j20]Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
Integrating Weight Assignment Strategies With NSGA-II for Supporting User Preference Multiobjective Optimization. IEEE Trans. Evolutionary Computation 22(3): 378-393 (2018) - [c63]Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård:
Automated refactoring of OCL constraints with search. ICSE 2018: 1243 - [c62]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 - [c61]Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li:
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. ICST 2018: 204-214 - 2017
- [j19]Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue, Man Zhang:
Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems. Advances in Computers 106: 23-94 (2017) - [j18]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Zen-ReqOptimizer: a search-based approach for requirements assignment optimization. Empirical Software Engineering 22(1): 175-234 (2017) - [j17]Ji Wu, Shaukat Ali, Tao Yue, Jie Tian, Chao Liu:
Assessing the quality of industrial avionics software: an extensive empirical evaluation. Empirical Software Engineering 22(4): 1634-1683 (2017) - [j16]Xiang Qiu, Shaukat Ali, Tao Yue, Li Zhang:
Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques. Information & Software Technology 82: 36-54 (2017) - [j15]Phu Hong Nguyen, Shaukat Ali, Tao Yue:
Model-based security engineering for cyber-physical systems: A systematic mapping study. Information & Software Technology 83: 116-135 (2017) - [j14]Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren:
Uncertainty-wise evolution of test ready models. Information & Software Technology 87: 140-159 (2017) - [j13]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) - [c60]Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
A multi-objective and cost-aware optimization of requirements assignment for review. CEC 2017: 89-96 - [c59]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 - [c58]Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang:
Search-Based Uncertainty-Wise Requirements Prioritization. ICECCS 2017: 80-89 - [c57]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 - [c56]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 - [c55]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 - [c54]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 - [c53]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 - [c52]Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar:
Fragility-Oriented Testing with Model Execution and Reinforcement Learning. ICTSS 2017: 3-20 - [c51]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
- [j12]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios. EAI Endorsed Trans. Creative Technologies 3(7): e4 (2016) - [j11]Hong Lu, Tao Yue, Shaukat Ali, Li Zhang:
Model-based incremental conformance checking to enable interactive product configuration. Information & Software Technology 72: 68-89 (2016) - [j10]Tao Yue, Shaukat Ali:
Empirically evaluating OCL and Java for specifying constraints on UML models. Software and System Modeling 15(3): 757-781 (2016) - [c50]Shaukat Ali, Tao Yue, Xiang Qiu, Hong Lu:
Generating boundary values from OCL constraints using constraints rewriting and search algorithms. CEC 2016: 379-386 - [c49]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 - [c48]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 - [c47]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 - [c46]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 - [c45]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 - [c44]Tao Yue, Huihui Zhang, Shaukat Ali, Chao Liu:
A Practical Use Case Modeling Approach to Specify Crosscutting Concerns. ICSR 2016: 89-105 - [c43]Hong Lu, Tao Yue, Shaukat Ali, Li Zhang:
Nonconformity Resolving Recommendations for Product Line Configuration. ICST 2016: 57-68 - [c42]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 - [c41]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Towards mutation analysis for use cases. MoDELS 2016: 363-373 - [c40]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 - [c39]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 - [c38]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. Software and System Modeling 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. Exper. 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) - [c37]Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios. BICT 2015: 229-236 - [c36]Shaukat Ali, Tao Yue:
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. ICST 2015: 1-2 - [c35]Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
UPMOA: An improved search algorithm to support user-preference multi-objective optimization. ISSRE 2015: 393-404 - [c34]Tao Yue, Shaukat Ali, Man Zhang:
RTCM: a natural language based, automated, and practical test case generation framework. ISSTA 2015: 397-408 - [c33]Shaukat Ali, Tao Yue:
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. MoDELS 2015: 396-405 - [c32]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? Software and System Modeling 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) - [c31]Tao Yue, Shaukat Ali:
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models. ECMFA 2014: 213-229 - [c30]Tao Yue, Shaukat Ali:
Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment. GECCO 2014: 1295-1302 - [c29]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 - [c28]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 - [c27]Shaukat Ali, Tao Yue:
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. ICTSS 2014: 17-31 - [c26]Tao Yue, Shaukat Ali, Arnaud Descour, Qitao Gan, Marius Liaaen, Geir Magne Merkesvik, Boas Krogh Nielsen, Jan Nygård, Bjorn Ove Olafsen, Anne Lise Waal:
Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges. QSIC 2014: 37-46 - [c25]Shaukat Ali, Tao Yue, Iram Rubab:
Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers. QSIC 2014: 234-239 - [c24]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 - [c23]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 - 2013
- [j4]Razieh Behjati, Tao Yue, Lionel C. Briand, Bran Selic:
SimPL: A product-line modeling methodology for families of integrated control systems. Information & Software Technology 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) - [c22]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 - [c21]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 - [c20]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 - [c19]Gong Zhang, Tao Yue, Ji Wu, Shaukat Ali:
Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. Demos/Posters/StudentResearch@MoDELS 2013: 41-45 - [c18]Gong Zhang, Tao Yue, Shaukat Ali, Ji Wu:
An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs). Demos/Posters/StudentResearch@MoDELS 2013: 61-65 - [c17]Kunming Nie, Tao Yue, Shaukat Ali:
Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines. Demos/Posters/StudentResearch@MoDELS 2013: 71-75 - [c16]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 - [c15]Gong Zhang, Tao Yue, Shaukat Ali:
Modeling Crisis Management System With the Restricted Use Case Modeling Approach. CMA@MoDELS 2013 - [c14]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 - [c13]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 - 2012
- [c12]Shaukat Ali, Tao Yue, Zafar I. Malik:
Comprehensively evaluating conformance error rates of applying aspect state machines. AOSD 2012: 155-166 - [c11]Shaukat Ali, Tao Yue:
Studying the Understandability of Aspect State Machines through the Weaving Activity. APSEC 2012: 593-602 - [c10]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 - [c9]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 - [c8]Razieh Behjati, Tao Yue, Lionel C. Briand:
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. MoDELS 2012: 497-513 - [c7]Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand:
Experiences of Applying UML/MARTE on Three Industrial Projects. MoDELS 2012: 642-658 - [c6]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 - [c5]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 - 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. Information & Software Technology 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
[j22] [j21] [j20] [c63] [c62] [c61] [j19] [j18] [j17] [j16] [j15] [j14] [j13] [c60] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [j12] [j11] [j10] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [j9] [j8] [c37] [c36] [c35] [c34] [c33] [c32] [j6] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c7] [c6] [c4]
last updated on 2019-02-18 20:20 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint