Man Zhang

C. Lu, T. Yue, M. Zhang and S. Ali

DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data

ACM Transactions on Software Engineering and Methodology

M. Zhang, J. Wu, S. Ali and T. Yue

Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation

IEEE Transactions on Software Engineering

M. Zhang, S. Ali and T. Yue

Uncertainty-wise Model Evolution with Genetic Programming

23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023)

C. Lu, Y. Shi, H. Zhang, M. Zhang, T. Wang, T. Yue and S. Ali

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions

IEEE Transactions on Software Engineering

Y. Shi, C. Lu, M. Zhang, H. Zhang, T. Yue and S. Ali

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)

H. Zhang, M. Zhang, T. Yue, S. Ali and L. Yan

Uncertainty-wise Requirements Prioritization with Search

ACM Transactions on Software Engineering and Methodology

M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software

M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems

34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego (CA), USA

M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgren and K. Intxausti

Specifying Uncertainty in Use Case Models

Journal of Systems and Software

M. Zhang

Uncertainty-wise Cyber-Physical Systems Testing

The University of Oslo

M. Zhang, S. Ali, T. Yue, R. Norgren and O. Okariz

Uncertainty-Wise Cyber-Physical System Test Modeling

Software & Systems Modeling

M. Zhang, S. Ali, T. Yue and R. Norgren

Uncertainty-Wise Evolution of Test Ready Models

Information and Software Technology (IST)

S. Ali, Y. Li, T. Yue and M. Zhang

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

10th International Workshop on Search-based Software Testing

Y. Li, M. Zhang, T. Yue, S. Ali and L. Zhang

Search-based Uncertainty-wise Requirements Prioritization

The 22nd International Conference on Engineering of Complex Computer Systems

S. Ali, H. Lu, S. Wang, T. Yue and M. Zhang

Uncertainty-wise Testing of Cyber-Physical Systems

Advances in Computers

M. Zhang, S. Ali, T. Yue and P. H. Nguyen

Uncertainty-wise and Model-based Testing of Industrial Cyber-Physical Systems

S. Ali, Y. Li, T. Yue and M. Zhang

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

Y. Li, M. Zhang, T. Yue, S. Ali and L. Zhang

Search-based Uncertainty-wise Requirements Prioritization

M. Zhang, Y. Li, S. Ali and T. Yue

Uncertainty-Wise and Time-Aware Test Case Prioritization for Cyber-Physical Systems

M. Zhang, S. Ali, T. Yue and M. Hedman

Uncertainty-based Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach

S. Ali, T. Yue and M. Zhang

Uncertainty-wise Testing of Cyber-Physical Systems

2017 IEEE International Symposium on Systems Engineering, Vienna, Austria

T. Yue and M. Zhang

Zen-RUCM and Restricted Test Case Specification and Generation (RTCM)

Huawei 2012 Lab at Beijing, China

S. Ali, T. Yue and M. Zhang

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing

ADA User Journal

M. Zhang, B. Selic, S. Ali, T. Yue, O. Okariz and R. Norgren

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

European Conference on Modelling Foundations and Applications(ECMFA)

M. Zhang, S. Ali, T. Yue, R. Norgren and O. Okariz

An Integrated Modeling Framework to Facilitate Model-Based Testing of Cyber-Physical Systems under Uncertainty

M. Zhang, S. Ali, T. Yue and R. Norgren

Interactively Evolving Test Ready Models with Uncertainty Developed for Testing Cyber-Physical Systems

M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgren and K. Intxausti

Specifying Uncertainty in Use Case Models in Industrial Settings

T. Yue, S. Ali, M. Zhang and D. Pradhan

Standardization Bodies and Standards Relevant for Uncertainty Modelling

M. Zhang, S. Ali, T. Yue and P. H. Nguyen

Uncertainty Modeling Framework for the Integration Level V.1

S. Ali, T. Yue and M. Zhang

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing

DE-CPS Workshop, Pisa, Italy

M. Zhang

U-TCsGM: Generating and Minimizing Uncertainty-Based Test Cases for Cyber-Physical Systems (Tool Demo)

MPM4CPS WG meetings in Malaga, Spain, 24-25 November 2016

M. Zhang

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

ECMFA Conference

T. Yue, S. Ali and M. Zhang

Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context

International Symposium on Software Testing and Analysis (ISSTA), Maryland, USA, July 14-17

M. Zhang, B. Selic, S. Ali, T. Yue, O. Okariz and R. Norgren

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

M. Zhang, T. Yue, S. Ali, H. Zhang and J. Wu

A Systematic Approach to Automatically Derive Test Cases From Use Cases Specified in Restricted Natural Languages

8th System Analysis and Modelling Conference (SAM'14)

M. Zhang, T. Yue and S. Ali

A Keyword and Restricted Natural Language Based Test Case Specification Language for Automated Testing