Tao Yue
Orcid: 0000-0003-3262-5577Affiliations:
- Simula Research Laboratory, Fornebu, Norway
According to our database1,
Tao Yue
authored at least 173 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective.
ACM Trans. Softw. Eng. Methodol., March, 2024
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models.
CoRR, 2024
2023
Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems.
ACM Trans. Softw. Eng. Methodol., September, 2023
ACM Trans. Softw. Eng. Methodol., July, 2023
Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions.
IEEE Trans. Software Eng., 2023
CoRR, 2023
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism.
CoRR, 2023
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations.
CoRR, 2023
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems.
CoRR, 2023
CoRR, 2023
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data.
CoRR, 2023
Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems.
CoRR, 2023
CoRR, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023).
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023
2022
Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data.
ACM Trans. Softw. Eng. Methodol., 2022
Softw. Syst. Model., 2022
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering.
Empir. Softw. Eng., 2022
ERCIM News, 2022
Uncertainty-aware transfer learning to evolve digital twins for industrial elevators.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Are elevator software robust against uncertainties? results and experiences from an industrial case study.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Feature Difference based Misclassified Sample Detection for CNN Models Deployed in Online Environment.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9, 2022
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022).
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022
2021
CBGA-ES<sup>+</sup>: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization.
IEEE Trans. Software Eng., 2021
ACM Trans. Softw. Eng. Methodol., 2021
Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search.
ACM Trans. Softw. Eng. Methodol., 2021
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems.
Softw. Syst. Model., 2021
ACM SIGSOFT Softw. Eng. Notes, 2021
ACM SIGSOFT Softw. Eng. Notes, 2021
Testing self-healing cyber-physical systems under uncertainty with reinforcement learning: an empirical study.
Empir. Softw. Eng., 2021
Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021
Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems.
Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems.
Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021
Analyzing the impact of product configuration variations on advanced driver assistance systems with search.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021).
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021
Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving.
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021
2020
ACM Trans. Softw. Eng. Methodol., 2020
Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines.
ACM Trans. Cyber Phys. Syst., 2020
Using multi-objective search and machine learning to infer rules constraining product configurations.
Autom. Softw. Eng., 2020
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
2019
IEEE Trans. Software Eng., 2019
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach.
Softw. Qual. J., 2019
Modeling foundations for executable model-based testing of self-healing cyber-physical systems.
Softw. Syst. Model., 2019
J. Syst. Softw., 2019
Employing rule mining and multi-objective search for dynamic test case prioritization.
J. Syst. Softw., 2019
Inf. Softw. Technol., 2019
2018
Integrating Weight Assignment Strategies With NSGA-II for Supporting User Preference Multiobjective Optimization.
IEEE Trans. Evol. Comput., 2018
J. Comput. Sci. Technol., 2018
Empir. Softw. Eng., 2018
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018
REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
Sci. Comput. Program., 2017
Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques.
Inf. Softw. Technol., 2017
Model-based security engineering for cyber-physical systems: A systematic mapping study.
Inf. Softw. Technol., 2017
Assessing the quality of industrial avionics software: an extensive empirical evaluation.
Empir. Softw. Eng., 2017
Empir. Softw. Eng., 2017
Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Testing Software and Systems, 2017
Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017
A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems.
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017
An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization.
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017
2016
Softw. Syst. Model., 2016
Softw. Syst. Model., 2016
Model-based incremental conformance checking to enable interactive product configuration.
Inf. Softw. Technol., 2016
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios.
EAI Endorsed Trans. Creative Technol., 2016
Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice.
Proceedings of the Testing Software and Systems, 2016
Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System.
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering.
Proceedings of the 38th International Conference on Software Engineering, 2016
Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search.
Proceedings of the 38th International Conference on Software Engineering, 2016
Search-Based Cost-Effective Test Case Selection within a Time Budget: An Empirical Study.
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
Generating boundary values from OCL constraints using constraints rewriting and search algorithms.
Proceedings of the IEEE Congress on Evolutionary Computation, 2016
2015
ACM Trans. Softw. Eng. Methodol., 2015
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software.
Softw. Pract. Exp., 2015
Softw. Syst. Model., 2015
Cyber-physical system product line engineering: comprehensive domain analysis and experience report.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
RTCM: a natural language based, automated, and practical test case generation framework.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
UPMOA: An improved search algorithm to support user-preference multi-objective optimization.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios.
Proceedings of the BICT 2015, 2015
2014
Traceability and SysML design slices to support safety inspections: A controlled experiment.
ACM Trans. Softw. Eng. Methodol., 2014
Softw. Syst. Model., 2014
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges.
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers.
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints.
Proceedings of the Testing Software and Systems, 2014
Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014
2013
Facilitating the transition from use case models to analysis models: Approach and experiments.
ACM Trans. Softw. Eng. Methodol., 2013
SimPL: A product-line modeling methodology for families of integrated control systems.
Inf. Softw. Technol., 2013
A generic framework for deriving architecture modeling methods for large-scale software-intensive systems.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Towards a systematic requirement-based test generation framework: Industrial challenges and needs.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework.
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013
Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), 2013
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines.
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013
Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
2012
Functional requirements validation by transforming use case models into Abstract State Machines.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Studying the Understandability of Aspect State Machines through the Weaving Activity.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Comprehensively evaluating conformance error rates of applying aspect state machines.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012
2011
A systematic review of transformation approaches between user requirements and analysis models.
Requir. Eng., 2011
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
2010
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010
2009
Inf. Softw. Technol., 2009
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.
Proceedings of the Model Driven Engineering Languages and Systems, 2009