A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages. - Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Huihui Zhang 003; Ji Wu 003 (SAM, 2014)

RTCM: a natural language based, automated, and practical test case generation framework. - Tao Yue 002; Shaukat Ali 001; Man Zhang 001 (ISSTA, 2015)

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model. - Man Zhang 001; Bran Selic; Shaukat Ali 001; Tao Yue 002; Oscar Okariz; Roland Norgren (ECMFA, 2016)

Search-Based Uncertainty-Wise Requirements Prioritization. - Yan Li 077; Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (ICECCS, 2017)

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization. - Shaukat Ali 001; Yan Li 077; Tao Yue 002; Man Zhang 001 (SBST@ICSE, 2017)

Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems. - Shaukat Ali 001; Hong Lu 005; Shuai Wang 001; Tao Yue 002; Man Zhang 001 (Adv. Comput., 2017)

Uncertainty-wise evolution of test ready models. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002; Roland Norgren (Inf. Softw. Technol., 2017)

Specifying uncertainty in use case models. - Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Bran Selic; Oscar Okariz; Roland Norgren; Karmele Intxausti (J. Syst. Softw., 2018)

Resource-based test case generation for RESTful web services. - Man Zhang 001; Bogdan Marculescu; Andrea Arcuri (GECCO, 2019)

Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002 (J. Syst. Softw., 2019)

Uncertainty-Wise Cyber-Physical System test modeling. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002; Roland Norgren; Oscar Okariz (Softw. Syst. Model., 2019)

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. - Yize Shi; Chengjie Lu; Man Zhang 001; Huihui Zhang 003; Tao Yue 002; Shaukat Ali 001 (MoDELS, 2021)

Enhancing Resource-Based Test Case Generation for RESTful APIs with SQL Handling. - Man Zhang 001; Andrea Arcuri (SSBSE, 2021)

Resource and dependency based test case generation for RESTful Web services. - Man Zhang 001; Bogdan Marculescu; Andrea Arcuri (Empir. Softw. Eng., 2021)

EvoMaster: A Search-Based System Test Generation Tool. - Andrea Arcuri; Juan Pablo Galeotti; Bogdan Marculescu; Man Zhang 001 (J. Open Source Softw., 2021)

Guest editorial to the special section of models 2019. - Tao Yue 002; Silvia Abrahão; Man Zhang 001 (Softw. Syst. Model., 2021)

Uncertainty-wise Requirements Prioritization with Search. - Huihui Zhang 003; Man Zhang 001; Tao Yue 002; Shaukat Ali 001; Yan Li 077 (ACM Trans. Softw. Eng. Methodol., 2021)

Evolutionary-based automated testing for GraphQL APIs. - Asma Belhadi; Man Zhang 001; Andrea Arcuri (GECCO Companion, 2022)

JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs. - Man Zhang 001; Asma Belhadi; Andrea Arcuri (ICST, 2022)

Fuzzing Microservices In Industry: Experience of Applying EvoMaster at Meituan. - Man Zhang 001; Andrea Arcuri; Yonggang Li; Kaiming Xue; Zhao Wang; Jian Huo; Weiwei Huang (CoRR, 2022)

White-Box and Black-Box Fuzzing for GraphQL APIs. - Asma Belhadi; Man Zhang 001; Andrea Arcuri (CoRR, 2022)

On the Faults Found in REST APIs by Automated Test Generation. - Bogdan Marculescu; Man Zhang 001; Andrea Arcuri (ACM Trans. Softw. Eng. Methodol., 2022)

Adaptive Hypermutation for Search-Based System Test Generation: A Study on REST APIs with EvoMaster. - Man Zhang 001; Andrea Arcuri (ACM Trans. Softw. Eng. Methodol., 2022)

DeepCollision: Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. - Chengjie Lu; Yize Shi; Huihui Zhang 003; Man Zhang 001; Tiexin Wang; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2022)

EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. - Andrea Arcuri; Man Zhang 001; Amid Golmohammadi; Asma Belhadi; Juan P. Galeotti; Bogdan Marculescu; Susruthan Seran (ICST, 2023)

Uncertainty-Wise Model Evolution with Genetic Programming. - Man Zhang 001; Shaukat Ali 001; Tao Yue 002 (QRS Companion, 2023)

On the Impact of Tool Evolution and Case Study Size on SBSE Experiments: A Replicated Study with EvoMaster. - Amid Golmohammadi; Man Zhang 001; Andrea Arcuri (SSBSE, 2023)

Search-Based Mock Generation of External Web Service Interactions. - Susruthan Seran; Man Zhang 001; Andrea Arcuri (SSBSE, 2023)

DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data. - Chengjie Lu; Tao Yue 002; Man Zhang 001; Shaukat Ali 001 (CoRR, 2023)

Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation. - Man Zhang 001; Jiahui Wu; Shaukat Ali 001; Tao Yue 002 (CoRR, 2023)

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. - Chengjie Lu; Yize Shi; Huihui Zhang 003; Man Zhang 001; Tiexin Wang; Tao Yue 002; Shaukat Ali 001 (IEEE Trans. Software Eng., 2023)

Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster. - Andrea Arcuri; Man Zhang 001; Asma Belhadi; Bogdan Marculescu; Amid Golmohammadi; Juan Pablo Galeotti; Susruthan Seran (Softw. Qual. J., 2023)

White-Box Fuzzing RPC-Based APIs with EvoMaster: An Industrial Case Study. - Man Zhang 001; Andrea Arcuri; Yonggang Li; Yang Liu 330; Kaiming Xue (ACM Trans. Softw. Eng. Methodol., 2023)

Open Problems in Fuzzing RESTful APIs: A Comparison of Tools. - Man Zhang 001; Andrea Arcuri (ACM Trans. Softw. Eng. Methodol., 2023)

JavaScript SBST Heuristics to Enable Effective Fuzzing of NodeJS Web APIs. - Man Zhang 001; Asma Belhadi; Andrea Arcuri (ACM Trans. Softw. Eng. Methodol., 2023)

.NET/C# instrumentation for search-based software testing. - Amid Golmohammadi; Man Zhang 001; Andrea Arcuri (Softw. Qual. J., 2023)

Seeding and Mocking in White-Box Fuzzing Enterprise RPC APIs: An Industrial Case Study. - Man Zhang 001; Andrea Arcuri; Piyun Teng; Kaiming Xue; Wenhao Wang (ASE, 2024)

Testing RESTful APIs: A Survey. - Amid Golmohammadi; Man Zhang 001; Andrea Arcuri (ACM Trans. Softw. Eng. Methodol., 2024)

Random Testing and Evolutionary Testing for Fuzzing GraphQL APIs. - Asma Belhadi; Man Zhang 001; Andrea Arcuri (ACM Trans. Web, 2024)

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. - Andrea Arcuri; Man Zhang 001; Juan P. Galeotti (ACM Trans. Softw. Eng. Methodol., 2024)

Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster. - Andrea Arcuri; Philip Garrett; Juan Pablo Galeotti; Man Zhang 001 (SIGSOFT FSE Companion, 2025)

Fuzzing microservices: A series of user studies in industry on industrial systems with EvoMaster. - Man Zhang 001; Andrea Arcuri; Yonggang Li; Yang Liu 330; Kaiming Xue; Zhao Wang; Jian Huo; Weiwei Huang (Sci. Comput. Program., 2025)

Causes and Effects of Fitness Landscapes in System Test Generation: A Replication Study. - Omur Sahin; Man Zhang 001; Andrea Arcuri (CoRR, 2025)

Tool report: EvoMaster - black and white box search-based fuzzing for REST, GraphQL and RPC APIs. - Andrea Arcuri; Man Zhang 001; Susruthan Seran; Juan Pablo Galeotti; Amid Golmohammadi; Onur Duman; Agustina Aldasoro; Hernan Ghianni (Autom. Softw. Eng., 2025)

Safety behavior abstraction and model evolution in autonomous driving. - Chao Tan; Tiexin Wang; Man Zhang 001; Tao Yue 002 (Softw. Syst. Model., 2025)

Search-Based Fuzzing For RESTful APIs That Use MongoDB. - Hernan Ghianni; Man Zhang 001; Juan P. Galeotti; Andrea Arcuri (CoRR, 2025)