湖南大学+计算机学院官网,张羽丰-湖大信息科学与工程学院

[1] Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang. On the Properties of Kullback-Leibler Divergence Between Gaussians. https://arxiv.org/abs/2102.05485

[2] Yufeng Zhang*, Zhenbang Chen*, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang. Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, CCF A类会议).

[3] Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang. Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, Late Break Result).

[4] Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan. Synthesizing Smart Solving Strategy for Symbolic Execution. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, Late Break Result).

[5] Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong. RGSE: A Regular Property Guided Symbolic Executor for Java. Proceedings of the 2017 11thJoint Meeting on Foundations of Software Engineering (FSE 2017, CCF A类会议).

[6] Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu. Regular Property Guided Dynamic Symbolic Execution. 37th IEEE/ACM International Conference on Software Engineering (ICSE 2015, CCF A类会议).

[7] Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang. MPISE: Symbolic Execution of MPI Programs. IEEE 16th International Symposium on High Assurance Systems Engineering (HASE 2015).

[8] Hong Zhu， Yufeng Zhang. A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions. Springer's Handbook on WebServices, 2014.

[9] Yufeng Zhang, Zhenbang Chen, Ji Wang. Speculative Symbolic Execution. IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE 2012，CCF B类会议).

[10] Hong Zhu, Yufeng Zhang. Collaborative Testing of Web Services. IEEE Transactions on Services Computing, 2013.

[11] Yufeng Zhang，Zhenbang Chen，Ji Wang. S2PF: Speculative symbolic PathFinder. ACM SIGSOFT Software Engineering Notes, 2012 (CCF C类).

[12] Yufeng Zhang, Hong Zhu. An Intelligent Broker Approach to Semantics-Based Service Composition. IEEE 35th Annual Computer Software and Applications Conference (COMPSAC 2011, CCF C类).