Man Zhang

Scientific Publications

• Zhang, Man, Arcuri, Andrea, Li, Yonggang, liu, yang & Xue, Kaiming (2023). White-box Fuzzing RPC-based APIs with EvoMaster: An Industrial Case Study. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X. doi:
  10.1145/3585009
• Arcuri, Andrea, Zhang, Man, Belhadi, Asma, Marculescu, Bogdan, Golmohammadi, Amid, galeotti, Juan Pablo & Seran, Susruthan (2023). Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster. Software quality journal. ISSN 0963-9314. doi:
  10.1007/s11219-023-09620-w
• Zhang, Man, Belhadi, Asma & Arcuri, Andrea (2023). JavaScript SBST Heuristics To Enable Effective Fuzzing of NodeJS Web APIs. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X. doi:
  10.1145/3593801
• Zhang, Man & Arcuri, Andrea (2023). Open Problems in Fuzzing RESTful APIs: A Comparison of Tools. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X. doi:
  10.1145/3597205
• Arcuri, Andrea, Zhang, Man, Golmohammadi, Amid, Belhadi, Asma, Galeotti, Juan Pablo, Marculescu, Bogdan & Seran, Susruthan (2023). EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. I papadakis, mike (red.) 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE conference proceedings. ISBN 9781665456678. doi:
  10.1109/ICST57152.2023.00047
• Zhang, Man, Belhadi, Asma & Arcuri, Andrea (2022). JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs. I Kim, YunHo (red.) 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE conference proceedings. ISBN 978-1-6654-6679-0. p 105-115. doi:
  10.1109/ICST53961.2022.00022
• Marculescu, Bogdan, Zhang, Man & Arcuri, Andrea (2022). On the Faults Found in REST APIs by Automated Test Generation. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X. 31(3) doi:
  10.1145/3491038
• Belhadi, Asma, Zhang, Man & Arcuri, Andrea (2022). Evolutionary-based automated testing for GraphQL APIs. I Fieldsend, Jonathan E (red.) GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery (ACM). ISBN 9781450392686. p 778-781. doi:
  10.1145/3520304.3528952
• Lu, Chengjie, Shi, Yize, Zhang, Huihui, Zhang, Man, Wang, Tiexing, Yue, Tao & Ali, Shaukat (2022). Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. IEEE Transactions on Software Engineering. ISSN 0098-5589. 49(1) p 384-402. doi:
  10.1109/TSE.2022.3150788
• Zhang, Man & Arcuri, Andrea (2021). Adaptive Hypermutation for Search-Based System Test Generation: A Study on REST APIs with EvoMaster. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X. 31(1) doi:
  10.1145/3464940
• Zhang, Man & Arcuri, Andrea (2021). Enhancing Resource-Based Test Case Generation for RESTful APIs with SQL Handling. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12914 p 103-117. doi:
  10.1007/978-3-030-88106-1_8
• Arcuri, Andrea, Galeotti, Juan Pablo, Marculescu, Bogdan & Zhang, Man (2021). EvoMaster: A Search-Based System Test Generation Tool. Journal of Open Source Software (JOSS). ISSN 2475-9066. 6(57) doi:
  10.21105/joss.02153
• Zhang, Man, Marculescu, Bogdan & Arcuri, Andrea (2021). Resource and dependency based test case generation for RESTful Web services. Empirical Software Engineering. ISSN 1382-3256. 26 doi:
  10.1007/s10664-020-09937-1
• Shi, Yize, Lu, Chengjie, Zhang, Man, Zhang, Huihui, Yue, Tao & Ali, Shaukat (2021). Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving. I Hu, Zhenjiang, Kishi, Tomoji & Ubayashi, Naoyasu (red.) Proceedings of ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) 2021. IEEE (Institute of Electrical and Electronics Engineers). ISBN 978-1-6654-3495-9. p 101-111. doi:
  10.1109/MODELS50736.2021.00019
• Zhang, Huihui, Zhang, Man, Yue, Tao, Ali, Shaukat & Li, Yan (2020). Uncertainty-wise Requirements Prioritization with Search. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X. 30(1) doi:
  10.1145/3408301
• Zhang, Man, Ali, Shaukat & Yue, Tao (2019). Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems. Journal of Systems and Software. ISSN 0164-1212. 153 p 1-21. doi:
  10.1016/j.jss.2019.03.011
• Zhang, Man, Marculescu, Bogdan & Arcuri, Andrea (2019). Resource-based Test Case Generation for RESTful Web Services. I López-Ibáñez, Manuel (red.) GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery (ACM). ISBN 978-1-4503-6111-8. p 1426-1434. doi:
  10.1145/3321707.3321815
• Zhang, Man, Yue, Tao, Ali, Shaukat, Selic, Bran, Okariz, Oscar, Norgre, Roland & Intxausti, Karmele (2018). Specifying uncertainty in use case models. Journal of Systems and Software. ISSN 0164-1212. 144 p 573-603. doi:
  10.1016/j.jss.2018.06.075
• Zhang, Man, Ali, Shaukat, Yue, Tao & Norgre, Roland (2017). Uncertainty-wise evolution of test ready models. Information and Software Technology. ISSN 0950-5849. 87 p 140-159. doi:
  10.1016/j.infsof.2017.03.003
• Zhang, Man, Ali, Shaukat, Yue, Tao, Norgren, Roland & Okariz, Oscar (2017). Uncertainty-Wise Cyber-Physical System test modeling. Software and Systems Modeling (SoSyM). ISSN 1619-1366. p 1-40. doi:
  10.1007/s10270-017-0609-6
• Ali, Shaukat, Li, Yan, Yue, Tao & Zhang, Man (2017). An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization. I galeotti, Juan Pablo & Petke, Justyna (red.) SBST '17 Proceedings of the 10th International Workshop on Search-Based Software Testing. IEEE Press. ISBN 978-1-5386-2789-1. p 21-27. doi:
  10.1109/SBST.2017.9
• Ali, Shaukat, Lu, Hong, Wang, Shuai, Yue, Tao & Zhang, Man (2017). Uncertainty-Wise Testing of Cyber-Physical Systems. I Memon, Atif (red.) Advances in Computers. Elsevier. ISBN 978-0-12-812228-0. p 23-94. doi:
  10.1016/bs.adcom.2017.06.001
• Au, Shaukat, Yue, Tao & Zhang, Man (2016). Tackling uncertainty in cyber-physical systems with automated testing. Ada User Journal. ISSN 1381-6551. 37(4) p 219-222. doi:
  10.1016/bs.adcom.2017.06.001
• Zhang, Man, Selic, Bran, Ali, Shaukat, Yue, Tao, Okariz, Oscar & Norgren, Roland (2016). Understanding uncertainty in cyber-physical systems: A conceptual model. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9764 p 247-264. doi:
  10.1007/978-3-319-42061-5_16