Follow
Man Zhang
Title
Cited by
Cited by
Year
Understanding uncertainty in cyber-physical systems: a conceptual model
M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren
Modelling Foundations and Applications: 12th European Conference, ECMFA 2016 …, 2016
1752016
Uncertainty-wise cyber-physical system test modeling
M Zhang, S Ali, T Yue, R Norgren, O Okariz
Software & Systems Modeling 18, 1379-1418, 2019
1052019
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
472019
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
472015
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
382018
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
System Analysis and Modeling: Models and Reusability: 8th International …, 2014
352014
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
342019
Learning configurations of operating environment of autonomous vehicles to maximize their collisions
C Lu, Y Shi, H Zhang, M Zhang, T Wang, T Yue, S Ali
IEEE Transactions on Software Engineering 49 (1), 384-402, 2022
322022
Uncertainty-wise evolution of test ready models
M Zhang, S Ali, T Yue, R Norgre
Information and Software Technology 87, 140-159, 2017
262017
EvoMaster: A search-based system test generation tool
A Arcuri, JP Galeotti, B Marculescu, M Zhang
Journal of Open Source Software, 2021
242021
Adaptive hypermutation for search-based system test generation: A study on REST APIs with EvoMaster
M Zhang, A Arcuri
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (1), 1-52, 2021
202021
Resource and dependency based test case generation for RESTful Web services
M Zhang, B Marculescu, A Arcuri
Empirical Software Engineering 26 (4), 76, 2021
192021
Uncertainty-wise testing of cyber-physical systems
S Ali, H Lu, S Wang, T Yue, M Zhang
Advances in Computers 107, 23-94, 2017
192017
Testing restful apis: A survey
A Golmohammadi, M Zhang, A Arcuri
ACM Transactions on Software Engineering and Methodology 33 (1), 1-41, 2023
182023
Open problems in fuzzing restful apis: A comparison of tools
M Zhang, A Arcuri
ACM Transactions on Software Engineering and Methodology 32 (6), 1-45, 2023
162023
On the faults found in rest apis by automated test generation
B Marculescu, M Zhang, A Arcuri
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-43, 2022
162022
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
162020
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
152016
JavaScript instrumentation for search-based software testing: A study with RESTful APIs
M Zhang, A Belhadi, A Arcuri
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
132022
Evolutionary-based automated testing for GraphQL APIs
A Belhadi, M Zhang, A Arcuri
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2022
112022
The system can't perform the operation now. Try again later.
Articles 1–20