Man Zhang
Man Zhang
Kristiania University College
Verified email at
Cited by
Cited by
Understanding uncertainty in cyber-physical systems: a conceptual model
M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren
European conference on modelling foundations and applications, 247-264, 2016
Uncertainty-wise cyber-physical system test modeling
M Zhang, S Ali, T Yue, R Norgren, O Okariz
Software & Systems Modeling 18 (2), 1379-1418, 2019
RTCM: a natural language based, automated, and practical test case generation framework
T Yue, S Ali, M Zhang
Proceedings of the 2015 international symposium on software testing and …, 2015
A systematic approach to automatically derive test cases from use cases specified in restricted natural languages
M Zhang, T Yue, S Ali, H Zhang, J Wu
International Conference on System Analysis and Modeling, 142-157, 2014
Uncertainty-based Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach
M Zhang, S Ali, T Yue, M Hedman
Simula Research Laboratory, 2016
Uncertainty-wise test case generation and minimization for cyber-physical systems
M Zhang, S Ali, T Yue
Journal of Systems and Software 153, 1-21, 2019
Uncertainty-wise testing of cyber-physical systems
S Ali, H Lu, S Wang, T Yue, M Zhang
Advances in Computers 107, 23-94, 2017
Uncertainty-wise evolution of test ready models
M Zhang, S Ali, T Yue, R Norgre
Information and Software Technology 87, 140-159, 2017
An Integrated Modeling Framework to Facilitate Model-Based Testing of Cyber-Physical Systems under Uncertainty
M Zhang, S Ali, T Yue, R Norgre
Submitted to a Journal, Simula Research Laboratory, Technical Report 2, 2016, 2016
An empirical evaluation of mutation and crossover operators for multi-objective uncertainty-wise test minimization
S Ali, Y Li, T Yue, M Zhang
2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing …, 2017
Specifying uncertainty in use case models
M Zhang, T Yue, S Ali, B Selic, O Okariz, R Norgre, K Intxausti
Journal of Systems and Software 144, 573-603, 2018
Resource-based test case generation for restful web services
M Zhang, B Marculescu, A Arcuri
Proceedings of the Genetic and Evolutionary Computation Conference, 1426-1434, 2019
Search-based uncertainty-wise requirements prioritization
Y Li, M Zhang, T Yue, S Ali, L Zhang
2017 22nd International Conference on Engineering of Complex Computer …, 2017
Uncertainty-wise and time-aware test case prioritization with multi-objective search
S Ali, Y Li, T Yue, M Zhang
Simula Research Laboartory, Tech. Rep, 2017
Interactively Evolving Test Ready Models with Uncertainty Developed for Testing Cyber-Physical Systems
M Zhang, S Ali, T Yue, R Norgren
Submitted to a Journal, https://www. simula. no/file/ist …, 2016
Uncertainty modeling framework for the integration level v. 1
M Zhang, S Ali, T Yue, PH Nguyen
Simula Research Laboratory, 2016
Specifying uncertainty in use case models in industrial settings
M Zhang, T Yue, S Ali, B Selic, O Okariz, R Norgren, K Intxausti, ...
Technical Report, Simula Research Laboratory. Technical Report, 2016
Tackling uncertainty in cyber-physical systems with automated testing
S Ali, T Yue, M Zhang
Ada User Journal 37 (4), 2016
EvoMaster: A Search-Based System Test Generation Tool
A Arcuri, JP Galeotti, B Marculescu, M Zhang
Journal of Open Source Software 6 (57), 2153, 2021
Uncertainty-wise Requirements Prioritization with Search
H Zhang, M Zhang, T Yue, S Ali, Y Li
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-54, 2020
The system can't perform the operation now. Try again later.
Articles 1–20