Tao Yue

Chief Research Scientist
Associate Professor

Email: tao@simula.no
Phone: + 47 404 33 125
Affiliations: Simula Research Laboratory, Certus SFI, University of Oslo
Website
https://www.simula.no/people/tao http://www.mn.uio.no/ifi/english/people/aca/tao/index.html


Special News

Tao Yue, Shaukat Ali and Bran Selic will introduce Uncertainty Modeling on Jan. 25th 2017, 5:00pm (Central European TIme). Welcome to join us at OMG's BrightTalk!.

News

Short Bio

Tao Yue is a chief research scientist of Simula Research Laboratory, Oslo, Norway, where she is leading the expertise area of Model Based Engineering (MBE). She is also affiliated to University of Oslo as an associate professor. She has received the PhD degree in the Department of Systems and Computer Engineering at Carleton University, Ottawa, Canada in 2010. Before that, she was an aviation engineer and system engineer for seven years. She has around 16 years of experience of conducting industry-oriented research with a focus on MBE in various application domains such as Avionics, Maritime and Energy, and Communications in several countries including Canada, Norway, and China. Her present research area is software engineering, with specific interested in requirements engineering, requirements-based testing, model-based product line engineering, model-based system engineering, model-based testing and empirical software engineering. Dr. Yue has been on the program and organization committees of many international, IEEE and ACM conferences such as ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems, European Conference on Modeling Foundations, International Conference on Quality Software, International Conference of Requirements Engineering, and IEEE Annual International Computers, Software&Applications Conference. She is PI and CO-PI of several national and international research projects.

Education

Work Experience

  • Associate Professor at the Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway: 2014 - Present
  • Chief Research Scientist at Software Engineering Department, Simula Research Laboratory, Norway: 2016 - Present
  • Senior Research Scientist at Software Engineering Department, Simula Research Laboratory, Norway: 2012 - 2016
  • Research Scientist at Software Engineering Department, Simula Research Laboratory, Norway: 2010 - 2012
  • Electrical and Software Engineer, Team Lead at China Aviation Motor Control System Institute, China: 1996 - 2003

Research Interests

  • Model-Based Engineering
  • Requirements Engineering
  • Empirical Software Engineering
  • Model-based Product Line Engineering
  • Model-based Testing
  • Search-based Software Engineering

Funding and Management Roles

  • Zen-Configurator (8.59 Million NOK), funded by The Research Council of Norway, FRIPO Yound and Talented Researchers Category: 2015 – 2018 (PI)
  • MBE-CR (12.91 Million NOK), funded by RFF Hovedstaden: 2015 – 2017 (PI)
  • U-Test (3.71 Million Euros) in ICT-01-2014: Smart Cyber-Physical Systems Horizon2020 Program: 2015 – 2017 (CO-PI)
  • MBT4CPS (8.4 Million NOK), funded by the Research Council of Norway, FRIPO: 2015 – 2018 (CO-PI)
  • ICT COST Action IC1404: Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS): 2014-2018 (One of the two management members Representing Norway)
  • Certus Software V&V Center, funded by Research Council of Norway, Project Number: 203461/O30. Leading the project on “Model-Based Engineering for Highly Configurable Systems”: 2010 – 2019 (PM)

Commissions of Trust

  • 2016—present: On the Editorial Board of Empirical Software Engineering Journal.
  • 2016—present: Leading the standardisation of Uncertainty Modeling at OMG
  • 2016—present: Contributing to OMG SysML, by joining the Requirement Concepts Modeling Focus Team.
  • 2015—present: Standardisation Manager of the U-Test project
  • 2014: Co-chair of the Demonstration track of MODELS
  • 2013: Publicity chair of QSIC
  • Served as program committees of international conferences, including IEEE and ACM conferences such as ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), European Conference on Modeling Foundations and Applications (ECMFA), International Conference on Model-Driven Engineering and Software Development (MODELSWARD), IEEE International Computers, Software, and Applications Conference (COMPSAC), International Conference on Software Quality (QSIC) and International Conference on Requirements Engineering (RE), International Systems and Software Product Line Conference (SPLC), and International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ).
  • Served as reviewers for journal articles from e.g., Journal of Software and Systems Modeling (SoSyM), Requirements Engineering Journal (REJ), Information and Software Technology (IST), Software: Practice and Experience (SPE), Empirical Software Engineering (EMSE), Journal of Systems and Software (JSS) and Software Quality Journal (SQJO), Automated Software Engineering (ASE).

Supervision

Research Fellows
  • Shuai Wang , Research Fellows, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Phu Hong Nguyen, Research Fellows, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Hong Lu, Research Fellows, Simula Research Laboratory and University of Oslo, Norway: 2016 - Present
PhD Students (Current, Graduated)
  • Man Zhang, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Dipesh Pradhan, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Safdar Aqeel, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Tao Ma, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Huihui Zhang, PhD Student, Beihang University, Beijing China
  • Yan Li, PhD Student, Beihang University, Beijing China: 2014- Present
  • Hong Lu, PhD Student, Beihang University, Beijing China: 2013- 2016
  • Zhiqiang Fan , PhD Student (Graduated in 2013)
  • Kunming Nie, PhD Student (Graduated in June 2014)
  • Xiang Qiu, PhD Student, Beihang University, Beijing China (Graduated in 2015): 2012 - Present
  • Razieh Behjati, PhD Student (Graduated in 2012), University of Oslo and Simula Research Laboratory, Norway
Research Engineers
  • Muhammad Hammad, Research Engineer, Simula Research Laboratory, Norway: 2015 - Present
Master Students (Current, Graduated)
  • Thomas Gramstad Rolfsnes, University of Oslo, Norway
  • Dipesh Pradhan, University of Oslo, Norway
  • Man Zhang, Beihang University
  • Gong Zhang, Beihang University

Publications

A complete list of publications is available from Simula's Publications Database

Journal papers (selection)
  • Huihui Zhang, Shuai Wang, Tao Yue, Shaukat Ali and Chao Liu, “Search and Similarity Based Selection of Use Case Scenarios: An Empirical Study”, Accepted in Empirical Software Engineering (2017).
  • Man Zhang, Shaukat Ali, Tao Yue and Roland Norgren, “Uncertainty-Wise Evolution of Test Ready Models Information and Software Technology (IST): (2017).
  • Xiang Qiu, Shaukst Ali, Tao Yue and Li Zhang. "Reliability-Redundancy-Location Allocation with Maximum Reliability and Minimum Cost Using Search Technique." in Information and Software Technology (2016).
  • Phu Nguyen, Shaukst Ali and Tao Yue. "Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study." in Information and Software Technology (2016).
  • Shaukst Ali, Tao Yue and Man Zhang. "Tackling Uncertainty in Cyber-Physical Systems with Automated Testing." in ADA User Journal (2016).
  • Ji Wu, Shaukst Ali, Tao Yue, Jie Tian and Chao Liu. "Assessing the Quality of Industrial Avionics Software: An Extensive Empirical Evaluation." in Empirical Software Engineering (2016).
  • Li, Yan, Tao Yue, Shaukat Ali, and Li Zhang. "Zen-ReqOptimizer: A Search-based Approach for Requirements Assignment Optimization." in Empirical Software Engineering (EMSE), 2016.
  • Lu, Hong, Tao Yue, Shaukat Ali, and Li Zhang. "Model-based Incremental Conformance Checking to Enable Interactive Product Configuration." in Information and Software Technology (IST), 2015.
  • Yue, Tao, Lionel Claude Briand, and Yvan Labiche. "aToucan: an Automated Framework to Derive UML Analysis Models From Use Case Models."in ACM Transactions on Software Engineering and Methodology (TOSEM) 24, no. 3 (2015).
  • Tao Yue and Shaukat Ali. Empirically Evaluating OCL and Java for Specifying Constraints on UML Models, in Journal of Software and Systems Modeling (SOSYM), 2014
  • Wu Ji, Tao Yue, Shaukat Ali, Huihui Zhang, “Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study”, Journal of Software: Practices and Experience (SPE), 2014.
  • Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue and Lionel Briand, “Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines”, in Software and Systems Modeling (SoSyM), 2014.
  • L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and Tao Yue. Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment, in ACM Transactions on Software Engineering and Methodology (TOSEM), 2014.
  • Zhiqiang Fan, Tao Yue, and Li Zhang. SAMM: An Architecture Modeling Methodology for Ship Command and Control Systems, in Software and Systems Modeling (SoSyM), 2014.
  • Tao Yue, Lionel Briand, and Yvan Labiche, “Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments”, in Transactions on Software Engineering and Methodology (TOSEM), Volume 22, Issue 1, 2013.
  • Razieh Behjati, Tao Yue, Lionel Briand, and Bran Selic, “SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems”, in Elsevier Information and Software Technology (IST), 2013.
  • Shaukat Ali, Tao Yue, and Lionel Briand, “Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?”, in Springer Software and Systems Modeling (SoSyM), 2012.
  • Tao Yue, Lionel Briand, and Yvan Labiche, “A Systematic Review of Transformation Approaches between User Requirements and Analysis Models”, Requirements Engineering (Springer), vol. 16, no. 2, pp. 75-99, 2011.
  • Lionel Briand, Yvan Labiche, Tao Yue, “Automated Traceability Analysis for UML Model Refinements”, Elsevier Journal of Information and Software Technology (IST), vol. 51, no. 2, pp. 512-527, February 2009.
Conference Papers (Selection)
  • Tao Yue, Shaukat Ali, Hong Lu, Kunming Nie, Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System, Internatonal Conference on Model-Driven Engineering and Software Development., 2016.
  • Ali, Shaukat, Tao Yue, Xiang Qiu, and Hong Lu. Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms In IEEE World Congress on Computational Intelligence., 2016.
  • Pradhan, Dipesh, Shuai Wang, Shaukat Ali, and Tao Yue. Search-Based Cost-Effective Test Case Selection for Manual Execution within Time Budget: An Empirical Study In Genetic and Evolutionary Computation Conference (GECCO)., 2016.
  • Zhang, Man, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, and Roland Norgren. Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model In European Conference on Modelling Foundations and Applications(ECMFA)., 2016.
  • Tao Yue, Huihui Zhang, Shaukat Ali, and Chao Liu. A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications, Accepted In International Conference on Software Reuse (ICSR)., 2016.
  • Wang, Shuai, Shaukat Ali, Tao Yue, Øyvind Bakkeli, and Marius Liaaen. Enhancing Test Case Prioritization in an Industrial Setting with Resource Awareness and Multi-Objective Search In The 38th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track ., 2016.
  • Lu, Hong, Tao Yue, Shaukat Ali, and Li Zhang. Integrating Search and Constraint Solving for Nonconformity Resolving Recommendations for Product Line Configuration In IEEE International Conference on Software Testing, Verification and Validation (ICST)., 2016.
  • Wang, Shuai, Shaukat Ali, Tao Yue, Yan Li, and Marius Liaaen. A Practical Guide to Select Quality Indicators for Assessing Pareto-Based Search Algorithms in Search-Based Software Engineering, Accepted in The 38th International Conference on Software Engineering (ICSE)., 2016.
  • Wang, Shuai, Shaukat Ali, Tao Yue, and Marius Liaaen. UPMOA: An Improved Search Algorithm to Support User- Preference Multi-Objective Optimization, published in The 26th IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2015.
  • Yue, Tao, Shaukat Ali, and Man Zhang. Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context, in International Symposium on Software Testing and Analysis (ISSTA)., 2015.
  • Yue, Tao, Shaukat Ali, and Bran Selic. Cyber-Physical System Product Line Engineering: Comprehensive Domain Analysis and Experience Report, in The 19th International Software Product Line Conference (SPLC), 2015.
  • Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie, and Li Zhang. Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration, In: The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2014.
  • Shaukat Ali, Tao Yue, and Lionel Briand, “Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment”, In: International Conference on Software Testing, Verification and Validation (ICST), 2013.
  • Shokoofeh Hesari, Razieh Behjati, and Tao Yue, Towards a Systematic Requirement-Based Test Generation Framework: Industrial Challenges and Needs , In: 21st IEEE Requirements Engineering (RE) Conference, 2013.
  • Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, and Zhiqiang Fan, Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems, In: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), ACM/IEEE, 2013.
  • Ji Wu, Shaukat Ali, Tao Yue, and Jie Tian. Assessing the Reliability of an Industrial Avionics Software: Results, Insights and Recommendations,In: The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE), ed. by Allen Nikora, IEEE, 2013.
  • Shaukat Ali, Tao Yue, Z. Malik, “Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing”, In: International Conference on Aspect-Oriented Software Development (AOSD 2012), 2012.
  • Razieh Behjati, Tao Yue, and Lionel Briand, “A Model-Based Approach to the Automated Reuse of Configuration Data Based on Internal Similarities,” In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012.
  • Shaukat Ali, Tao Yue, and Lionel Briand, “A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study”, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012.
  • Lionel Briand, Davide Falessi, S. Nejati, M. Sabetzadeh, Tao Yue, “Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering”, (Authors by alphabetical order), In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012.
  • Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, and Lionel Briand, “Experiences of Applying UML/MARTE on Three Industrial Projects”, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012 (BEST PAPER).
  • Tao Yue, Lionel Briand, and Yvan Labiche, “A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation”, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009, Lecture Notes in Computer Science (LNCS), Springer – Verlag, Berlin Heidelberg 2009.