Selected Publications
Here you can find a list of selected publications (* corresponding author).
- [Conference, CCF-A] M. Zhang*, A. Arcuri, P. Teng, K. Xue, W. Wang. Seeding and Mocking in White-Box Fuzzing Enterprise RPC APIs: An Industrial Case Study. IEEE/ACM International Conference on Automated Software Engineering (ASE), Industry Track. DOI: 10.1145/3691620.3695265.
- [Journal, CCF-B] C. Tan, T. Wang, M. Zhang*, T. Yue. Safety Behaviour Abstraction and Model Evolution in Autonomous Driving. Software and Systems Modeling, 2024. (To appear)
- [Journal, CCF-B] A. Arcuri, M. Zhang, S. Seran, J.P. Galeotti, A. Golmohammadi, O. Duman, A. Aldasoro, H. Ghianni. Tool report: EvoMaster—black and white box search-based fuzzing for REST, GraphQL and RPC APIs. Automated Software Engineering, 2024. DOI: 10.1007/s10515-024-00478-1
- [Journal, CCF-A] A. Arcuri, M. Zhang*, J.P. Galeotti. Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. ACM Transactions on Software Engineering and Methodology (TOSEM), 2024. DOI: 10.1145/3652157.
- [Journal, CCF-A] M. Zhang*, A. Arcuri. Open Problems in Fuzzing RESTful APIs: A Comparison of Tools. ACM Transactions on Software Engineering and Methodology (TOSEM), 2023. DOI: 10.1145/3597205.
- [Journal, CCF-A] M. Zhang*, A. Belhadi, A. Arcuri. JavaScript SBST Heuristics To Enable Effective Fuzzing of NodeJS Web APIs. ACM Transactions on Software Engineering and Methodology (TOSEM), 2023. DOI: 10.1145/3593801.
- [Journal, CCF-A] M. Zhang*, A. Arcuri, Y. Li, Y. Liu, and K. Xue. White-box Fuzzing RPC-based APIs with EvoMaster: An Industrial Case Study. ACM Transactions on Software Engineering and Methodology (TOSEM), 2023. DOI: 10.1145/3585009.
- [Journal, CCF-A] A. Golmohammadi, M. Zhang*, A. Arcuri. Testing RESTful APIs: A Survey. ACM Transactions on Software Engineering and Methodology (TOSEM), 2023. DOI: 10.1145/3617175.
- [Journal, CCF-B] A. Belhadi, M. Zhang*, A. Arcuri. Random Testing and Evolutionary Testing for Fuzzing GraphQL APIs. ACM Transactions on the Web (TWEB), 2023. DOI: 10.1145/3609427
- [Journal, CCF-A] 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 (TSE), 2022. DOI: 10.1109/TSE.2022.3150788.
- [Journal, CCF-A] M. Zhang*, A. Arcuri. Adaptive Hypermutation for Search-Based System Test Generation: A Study on REST APIs with EvoMaster. ACM Transactions on Software Engineering and Methodology (TOSEM), 2021. DOI: 10.1145/3464940.
- [Journal, CCF-A] B. Marculescu, M. Zhang*, and A. Arcuri. On the faults found in REST APIs by Automated Test Generation. ACM Transactions on Software Engineering and Methodology (TOSEM), 2021. DOI: 10.1145/3491038.
- [Journal, CCF-B] M. Zhang*, B. Marculescu, and A. Arcuri. Resource and dependency based test case generation for RESTful Web services. Empirical Software Engineering (EMSE), 2021. DOI: 10.1007/s10664-020-09937-1.
- [Conference, CCF-B] 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. the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021. DOI: 10.1109/MODELS50736.2021.00019.
- [Journal, CCF-A] H. Zhang, M. Zhang*, S. Ali, T. Yue and Y. Li. Uncertainty-wise Requirements Prioritization with Search. ACM Transactions on Software Engineering and Methodology (TOSEM), 2020. DOI: 10.1145/3408301.
- [Journal, CCF-B] M. Zhang*, S. Ali and T. Yue. Uncertainty-wise test case generation and minimization for cyber-physical systems. Journal of Systems and Software (JSS), 2019. DOI: 10.1016/j.jss.2019.03.011.
- [Journal, CCF-B] M. Zhang*, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgre, and K. Intxausti. Uncertainty-wise Requirements Prioritization with Search. Specifying uncertainty in use case models, 2018. DOI: 10.1016/j.jss.2018.06.075.
- [Journal, CCF-B] M. Zhang*, S. Ali, T. Yue, R. Norgren, and O. Okariz. Uncertainty-Wise Cyber-Physical System test modeling. Software and Systems Modeling (SoSyM), 2017. DOI: 10.1007/s10270-017-0609-6.
- [Journal, CCF-B] M. Zhang*, S. Ali, T. Yue, and R. Norgren. Uncertainty-Wise Evolution of Test Ready Models. Information and Software Technology (IST), 2017. DOI: 10.1016/j.infsof.2017.03.003.
- [Conference, CCF-A] T. Yue, S. Ali, and M. Zhang*. RTCM: a natural language based, automated, and practical test case generation framework. the International Symposium on Software Testing and Analysis (ISSTA), 2015. DOI: 10.1145/2771783.2771799.