Zhenyu Zhang
Associate Research Professor and Master's Supervisor
Key Laboratory of System Software (Chinese Academy of Sciences)
Formerly: State Key Lab. of Computer Science, Chinese Academy of Sciences
Institute of Software, Chinese Academy of Sciences
PhD, The University of Hong Kong
MSc and BSc, Tsinghua University
- E-mail:
zhangzy [at] ios.ac.cn - Tel: (+86 10) 6266 1630
- Member: ACM, IEEE, and CCF
- Youth Innovation Promotion Association, Chinese Academy of Sciences
Research Focus
- Software testing and continuous validation
- Debugging, fault localization, and program analysis
- AI-assisted software engineering and security
- Program verification and reliable systems
- Cloud and service computing
Selected Papers
Venue
Track
2026
- Venue CCF C / CORE B · other trackBingxing Liu, Bo Jiang, Zhenyu Zhang. “ChainSentry: Evidence-Grounded Multi-Agent Pipeline for Cross-Function Vulnerability Detection.” IEEE International Conference on Software Quality, Reliability and Security (QRS) (2026).
- Venue CCF C / CORE B · other trackBo Jiang, Zhenyu Zhang, and Ye Zhou. “When Spectra Find Effects but Miss Origins: The Coverage-Obscured Origin Problem.” Asia-Pacific Software Engineering Conference (APSEC) (2026).
2023
- Venue CCF C / CORE B · mainYuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, and Bo Jiang. “A Study on the Impact of Pre-Trained Model on Just-In-Time Defect Prediction.” IEEE International Conference on Software Quality, Reliability and Security (QRS) (2023). PDF
- Venue Others · mainBingyi Cui, Long Zhang, Chenglong Sun, Zhenyu Zhang. “Idle Strategy of Smart Monkey to Enhance Testing Operable GUI Regions.” Journal of Software, pp. 143-158 (2023). PDF
- Venue CCF B / CORE A · mainLong Zhang, Binyi Cui, Zhenyu Zhang. “Optimizing Continuous Integration by Dynamic Test Proportion Selection.” 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 438-449 (2023).
2022
- Venue CCF C / CORE B · mainBo Jiang, Zichao Li, Yuhe Huang, Zhenyu Zhang, W. K. Chan. “WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines.” International Conferences on Software Engineering and Knowledge Engineering, 2022, pp. 537-542 (2022). PDF
2020
- Venue CCF C / CORE B · mainBo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang. “CUDAsmith: A Fuzzer for CUDA Compilers.” 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 861-871 (2020).
- Venue CCF C / CORE B · mainLong Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou. “Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.” IEEE Transactions on Reliability, 69(3), pp. 1021-1049 (2020).
- Venue CCF C / CORE B · mainZijie Li, Long Zhang, Zhenyu Zhang, Bo Jiang. “MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults.” 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 943-952 (2020).
- Venue CCF C / CORE B · mainZijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse. “PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.” 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS), pp. 406-413 (2020).
2019
- Venue Others · mainLong Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang. “A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks.” Computing Research Repository (CoRR) (2019). PDF
- Venue CCF C / CORE B · mainBo Jiang, Yaoyue Zhang, Wing Kwong Chan, Zhenyu Zhang. “A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications.” IEEE Transactions on Reliability, 68(3), pp. 913-926 (2019).
- Venue CCF C / CORE B · mainLong Zhang, Donghong Zhang, Cheng-Hong Wang, Jing Zhao, Zhenyu Zhang. “ART4SQLi: The ART of SQL Injection Vulnerability Discovery.” IEEE Transactions on Reliability, 68(4), pp. 1470-1489 (2019).
- Venue CCF C / CORE B · mainBiyun Zhu, Ruijie Meng, Zhenyu Zhang, W. K. Chan. “ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs.” 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), pp. 169-178 (2019).
2018
- Venue Others · mainYuzhen Liu, Long Zhang, Zhenyu Zhang. “A Survey of Test Based Automatic Program Repair.” Journal of Software, 13(8), pp. 437-452 (2018). PDF
- Venue CCF C / CORE B · other trackZijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang. “MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization.” 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 56-63 (2018). PDF
- Venue CCF C / CORE B · mainBo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W. K. Chan. “ReTestDroid: Towards Safer Regression Test Selection for Android Application.” 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), pp. 235-244 (2018). PDF
- Venue CCF B / CORE A · other trackLong Zhang, Zhenyu Zhang. “SeTCHi: Selecting Test Cases to Improve History-Guided Fault Localization.” 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 200-207 (2018).
- Venue CCF C / CORE B · mainDonghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse. “The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study.” 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), pp. 620-629 (2018). PDF
2017
- Venue CCF B / CORE A · mainLong Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W. K. Chan, Zheng Zheng. “A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization.” Journal of Systems and Software, 129, pp. 35-57 (2017). PDF
- Venue CCF C / CORE B · mainChung Man Tang, W. K. Chan, Yuen-Tak Yu, Zhenyu Zhang. “Accuracy Graphs of Spectrum-Based Fault Localization Formulas.” IEEE Transactions on Reliability, 66(2), pp. 403-424 (2017). PDF
- Venue Others · mainJunjie Liu, Xiaopeng Gao, Bo Jiang, Shunkun Yang, Zhenyu Zhang. “Deterministic Replay for Multi-Core VxWorks Applications.” 2017 International Conference on Dependable Systems and Their Applications (DSA), pp. 118-125 (2017).
- Venue CCF C / CORE B · mainBo Jiang, Yaoyue Zhang, W. K. Chan, Zhenyu Zhang. “Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications.” 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 21-31 (2017). PDF
2016
- Venue CCF C / CORE B · other trackTian Huang, Zhenyu Zhang, Xue-Yang Zhu. “Analyzing GUI running fluency for Android apps.” Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and Communication, pp. 16-22 (2016).
- Venue CCF B / CORE A · mainJiwei Xu, Wenbo Zhang, Zhenyu Zhang, Tao Wang, Tao Huang. “Clustering-based acceleration for virtual machine image deduplication in the cloud environment.” Journal of Systems and Software ( JSS ) 121: 144-156 (2016). PDF
- Venue CCF C / CORE B · mainChenglong Sun, Zhenyu Zhang, Bo Jiang, W. K. Chan. “Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps.” 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 298-306 (2016). PDF
- Venue Others · other trackTian Huang, Zhenyu Zhang, and Xue-Yang Zhu. “Using Frame Rate to Analyze GUI Running Fluency for Android Apps.” in Proceedings of The 3rd International Workshop on Mobile Sensing, Computing and Communication (MSCC 2016), in conjuction with The 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing ( MobiHoc 2016 ). PDF
2015
- Venue CCF A / CORE A* · mainLijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse. “A Subsumption Hierarchy of Test Case Prioritization for Composite Services.” IEEE Transactions on Services Computing, 8(5), pp. 658-673 (2015). PDF
- Venue CCF A / CORE A* · mainYibiao Yang, Yuming Zhou, Hongmin Lu, Lin Chen, Zhenyu Chen, Baowen Xu, Hareton K. N. Leung, Zhenyu Zhang. “Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study.” IEEE Transactions on Software Engineering, 41(4), pp. 331-357 (2015).
- Venue CCF C / CORE B · mainFangyun Qin, Zheng Zheng, Chenggang Bai, Yu Qiao, Zhenyu Zhang, Cheng Chen. “Cross-Project Aging Related Bug Prediction.” 2015 IEEE International Conference on Software Quality, Reliability and Security, pp. 43-48 (2015). PDF
- Venue CCF A / CORE A* · other trackNan Wang, Zheng Zheng, Zhenyu Zhang, Cheng Chen. “FLAVS: A Fault Localization Add-In for Visual Studio.” 2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS), pp. 1-6 (2015). PDF
- Venue CCF C / CORE B · other trackChunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang. “Replay Debugging of Real-Time Vxworks Applications.” 2015 IEEE 39th Annual Computer Software and Applications Conference, pp. 568-573 (2015). PDF
- Venue CCF C / CORE B · other trackW. K. Chan, T. H. Tse, Shangru Wu, Yuen-Tak Yu, Zhenyu Zhang. “Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.” 2015 IEEE 39th Annual Computer Software and Applications Conference, pp. 11-16 (2015).
2014
- Venue CCF B / CORE A · mainWenbo Zhang, Xiaowei Zhou, Jianhua Zhang, Zhenyu Zhang, and Hua Zhong. “A Class Loading Sensitive Approach to Detection of Runtime Type Errors in Component-based Java Programs.” Journal of Information and Software Technology ( JIST ) 56(9): 1076-1085 (2014). PDF
- Venue non-CCF / CORE C · mainCheng-Hong Wang, Donghong Zhang, Hualin Lu, Jing Zhao, Zhenyu Zhang, Zheng Zheng. “An experimental study on firewall performance: Dive into the bottleneck for firewall effectiveness.” 2014 10th International Conference on Information Assurance and Security, pp. 71-76 (2014).
- Venue Others · mainChaoqiang Deng, Fanping Zeng, Hui Zhang, Zhenyu Zhang, and Qixing Dong. “Detecting Program Non-crashing Failures via Assertion and Slicing.” Journal of Chinese Computer Systems , (in Chinese), 2014.
- Venue CCF A / CORE A* · other trackHeng Li, Yuzhen Liu, Zhenyu Zhang, Jian Liu. “Program structure aware fault localization.” Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, pp. 40-48 (2014). PDF
- Venue Others · mainPeng Hao, Zheng Zheng, Zhenyu Zhang, Yichao Gao, Cheng Gong, and Yunzhi Xue. “Self-Adaptive Fault Localization Algorithm Based on Predicate Execution Information Analysis.” Chinese Journal of Computers , (in Chinese), 2014.
- Venue CCF B / CORE A · other trackJing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang. “Software Maintenance Optimization Based on Stackelberg Game Methods.” 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 426-430 (2014).
2013
- Venue CCF C / CORE B · mainLei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. “A fault localization framework to alleviate the impact of execution similarity.” International Journal of Software Engineering and Knowledge Engineering ( IJSEKE ) 23(7): 963-998 (2013). PDF
- Venue CCF B / CORE A · mainJian Xu, Zhenyu Zhang, W. K. Chan, T. H. Tse, Shanping Li. “A general noise-reduction framework for fault localization of Java programs.” Information and Software Technology, 55(5), pp. 880-896 (2013). PDF
- Venue Others · mainTao He, Xinming Wang, Xiaocong Zhou, Wenjun Li, Zhenyu Zhang, and S. C. Cheung. “A Software Fault Localization Technique Based on Program Mutations.” Chinese Journal of Computers , (in Chinese), 2013.
- Venue CCF C / CORE B · mainYichao Gao, Zhenyu Zhang, Long Zhang, Cheng Gong, Zheng Zheng. “A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization.” 2013 13th International Conference on Quality Software, pp. 288-291 (2013). PDF
- Venue CCF B / CORE A · mainChang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. “BPELDebuger: An effective BPEL-specific fault localization framework.” Journal of Information and Software Technology ( JIST ) 55(12): 2140-2153 (2013). http://dx.doi.org/10.1016/j.infsof.2013.07.009. PDF
- Venue CCF B / CORE A · other trackZheng Zheng, Yichao Gao, Peng Hao, Zhenyu Zhang. “Coincidental correctness: An interference or interface to successful fault localization?.” 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 114-119 (2013). PDF
- Venue Others · mainYunqian Zhang, Zheng Zheng, Xiaohui Ji, Wenbo Zhang, and Zhenyu Zhang. “Markov Model-based Effectiveness Predicting for Software Fault Localization.” Chinese Journal of Computers , (in Chinese), 2013.
- Venue CCF B / CORE A · mainBo Jiang, Ke Zhai, W. K. Chan, T. H. Tse, Zhenyu Zhang. “On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.” Information and Software Technology, 55(5), pp. 897-917 (2013). PDF
2012
- Venue Others · mainQifeng Tang, Lei Xu, Ju Qian, Lin Chen, and Zhenyu Zhang. “A fault localization method based on model combination.” China Sciencepaper 7(1): 19-27 (2012). (in Chinese).
- Venue CCF C / CORE B · mainCheng Gong, Zheng Zheng, Yunqian Zhang, Zhenyu Zhang, Yunzhi Xue. “Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs.” 2012 19th Asia-Pacific Software Engineering Conference, pp. 729-732 (2012).
- Venue Others · mainZhenyu Zhang, W. K. Chan, T. H. Tse. “Fault Localization Based Only on Failed Runs.” Computer, 45(6), pp. 64-71 (2012). PDF
- Venue CCF B / CORE A · mainBo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen. “How well does test case prioritization integrate with statistical fault localization?.” Information and Software Technology, 54(7), pp. 739-758 (2012). PDF
- Venue Others · mainLei Zhao, Li-na Wang, Dongming Gao, Zhenyu Zhang, and Zuoting Xiong. “Mining Associations to Improve the Effectiveness of Fault Localization.” Chinese Journal of Computers , (in Chinese), 2012.
- Venue CCF C / CORE B · mainChang-ai Sun, Yi Meng Zhai, Yan Shang, and Zhenyu Zhang. “Toward effectively locating integration-level faults in BPEL programs.” in Proceedings of the 12th International Conference on Quality Software ( QSIC 2012 ), Xi'an, China, Aug 27 - 29, 2012, pages 17-20. PDF
- Venue CCF B / CORE A · other trackYunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang. “Wielding Statistical Fault Localization Statistically.” 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, pp. 189-194 (2012).
2011
- Venue CCF C / CORE B · mainJian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li. “A Dynamic Fault Localization Technique with Noise Reduction for Java Programs.” 2011 11th International Conference on Quality Software, pp. 11-20 (2011). PDF
- Venue CCF B / CORE A · mainZhenyu Zhang, W. K. Chan, T. H. Tse, Yuen-Tak Yu, Peifeng Hu. “Non-parametric statistical fault localization.” Journal of Systems and Software, 84(6), pp. 885-905 (2011).
- Venue CCF C / CORE B · mainLei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. “PAFL: Fault Localization via Noise Reduction on Coverage Vector.” in Proceedings of the 23th International Conference on Software Engineering and Knowledge Engineering ( SEKE 2011 ), Miami, USA, Jul 7 - 9, 2011. PDF
- Venue CCF C / CORE B · mainZhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang. “Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.” 2011 IEEE 35th Annual Computer Software and Applications Conference, pp. 58-67 (2011). PDF
2010
- Venue Others · mainLijun Mei, W. K. Chan, Zhenyu Zhang, Xiaopeng Gao. “A Community-Centric Model for Service Publication, Discovery, Selection, Binding, and Maintenance.” 2010 Fifth IEEE International Symposium on Service Oriented System Engineering, pp. 303-310 (2010). PDF
- Venue Others · mainQiong Shi, Zhenyu Zhang, Zhifang Liu, and Xiaopeng Gao. “Enhance Fault Localization Using a 3D Surface Representation.” in Proceedings of the 2nd International Conference on Computer Research and Development ( ICCRD 2010 ), Kuala Lumpur, Malaysia, May 7 - 10, 2010, pages 720-724. PDF
- Venue CCF B / CORE A · mainZhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang. “Fault localization through evaluation sequences.” Journal of Systems and Software, 83(2), pp. 174-187 (2010). PDF
- Venue non-CCF / CORE C · mainZhenyu Zhang, Zhongxing Xu, Zhifang Liu, and Xiaopeng Gao. “Macro-like Instrumentation Grammar for Boolean Expressions.” in Proceedings of 2010 International Conference on Computational Intelligence and Software Engineering ( CiSE 2010 ), Wuhan, China, Dec 10 - 12, 2010. PDF
- Venue non-CCF / CORE C · mainZhenyu Zhang, Zijian Tong, Xiaopeng Gao. “Testing in Parallel - A Need for Practical Regression Testing.” International Conference on Software Technologies (ICSOFT) (2010).
2009
- Venue CCF A / CORE A* · mainBo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. “Adaptive Random Test Case Prioritization.” 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 233-244 (2009). PDF
- Venue CCF A / CORE A* · mainZhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang. “Capturing propagation of infected program states.” Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pp. 43-52 (2009). PDF
- Venue Others · mainZhenyu Zhang, W. K. Chan, T. H. Tse, and Peifeng Hu. “Experimental study to compare the use of metamorphic testing and assertion checking.” Journal of Software ( JoS ) 20(10), 2009. PDF
- Venue CCF C / CORE B · mainBo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen. “How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.” 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp. 99-106 (2009). PDF
- Venue CCF B / CORE A · mainZhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang. “Is non-parametric hypothesis testing model robust for statistical fault localization?.” Information and Software Technology, 51(11), pp. 1573-1585 (2009). PDF
- Venue non-CCF / CORE C · mainW. K. Chan, Lijun Mei, Zhenyu Zhang. “Modeling and testing of cloud applications.” 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 111-118 (2009). PDF
- Venue CCF C / CORE B · other trackLijun Mei, Zhenyu Zhang, W. K. Chan. “More Tales of Clouds: Software Engineering Research Issues from the Cloud Application Perspective.” 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp. 525-530 (2009). PDF
- Venue CCF B / CORE A · mainZhenyu Zhang, Wing Kwong Chan, T. H. Tse, Heng Lu, Lijun Mei. “Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.” Journal of Systems and Software, 82(9), pp. 1376-1387 (2009). PDF
- Venue Others · mainZhenyu Zhang. “Software Debugging through Dynamic Analysis of Program Structures.” The University of Hong Kong (2009). PDF
- Venue CCF A / CORE A* · mainXinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang. “Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.” 2009 IEEE 31st International Conference on Software Engineering, pp. 45-55 (2009). PDF
- Venue CCF A / CORE A* · mainLijun Mei, Zhenyu Zhang, W. K. Chan, T. H. Tse. “Test case prioritization for regression testing of service-oriented business applications.” Proceedings of the 18th international conference on World wide web, pp. 901-910 (2009). PDF
- Venue CCF A / CORE A* · other trackBo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse. “Where to adapt dynamic service compositions.” Proceedings of the 18th international conference on World wide web, pp. 1123-1124 (2009). PDF
2008
- Venue CCF C / CORE B · mainZhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse. “Debugging through Evaluation Sequences: A Controlled Experimental Study.” 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp. 128-135 (2008). PDF
- Venue CCF C / CORE B · mainPeifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. “Fault Localization with Non-parametric Program Behavior Model.” 2008 The Eighth International Conference on Quality Software, pp. 385-395 (2008). PDF
2007
- Venue CCF C / CORE B · mainZhenyu Zhang, W. K. Chan, and T. H. Tse. “Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques.” in Proceedings of the 7th International Conference on Quality Software ( QSIC 2007 ), Portland, Oregon, USA, Oct 11 - 12, 2007, pages 181-190, IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. PDF
- Venue Others · mainW. K. Chan, Tsong Yueh Chen, Shing-Chi Cheung, T. H. Tse, Zhenyu Zhang. “Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.” Lecture Notes in Computer Science, pp. 84-99 (2007). PDF
2006
- Venue Others · other trackPeifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse. “An empirical comparison between direct and indirect test result checking approaches.” Proceedings of the 3rd international workshop on Software quality assurance, pp. 6-13 (2006). PDF
Publications
The complete bibliography combines the prior homepage record, verified DBLP additions, and confirmed 2026 acceptance records. Publication titles remain in their original language.
Full bibliography (2006–2026)
2026
- Bingxing Liu, Bo Jiang, Zhenyu Zhang. “ChainSentry: Evidence-Grounded Multi-Agent Pipeline for Cross-Function Vulnerability Detection.” IEEE International Conference on Software Quality, Reliability and Security (QRS) (2026).
- Bo Jiang, Zhenyu Zhang, and Ye Zhou. “When Spectra Find Effects but Miss Origins: The Coverage-Obscured Origin Problem.” Asia-Pacific Software Engineering Conference (APSEC) (2026).
2023
- Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, and Bo Jiang. “A Study on the Impact of Pre-Trained Model on Just-In-Time Defect Prediction.” IEEE International Conference on Software Quality, Reliability and Security (QRS) (2023). PDF
- Bingyi Cui, Long Zhang, Chenglong Sun, Zhenyu Zhang. “Idle Strategy of Smart Monkey to Enhance Testing Operable GUI Regions.” Journal of Software, pp. 143-158 (2023). PDF
- Long Zhang, Binyi Cui, Zhenyu Zhang. “Optimizing Continuous Integration by Dynamic Test Proportion Selection.” 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 438-449 (2023).
2022
- Bo Jiang, Zichao Li, Yuhe Huang, Zhenyu Zhang, W. K. Chan. “WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines.” International Conferences on Software Engineering and Knowledge Engineering, 2022, pp. 537-542 (2022). PDF
2020
- Bo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang. “CUDAsmith: A Fuzzer for CUDA Compilers.” 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 861-871 (2020).
- Long Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou. “Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.” IEEE Transactions on Reliability, 69(3), pp. 1021-1049 (2020).
- Zijie Li, Long Zhang, Zhenyu Zhang, Bo Jiang. “MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults.” 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 943-952 (2020).
- Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse. “PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.” 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS), pp. 406-413 (2020).
2019
- Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang. “A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks.” Computing Research Repository (CoRR) (2019). PDF
- Bo Jiang, Yaoyue Zhang, Wing Kwong Chan, Zhenyu Zhang. “A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications.” IEEE Transactions on Reliability, 68(3), pp. 913-926 (2019).
- Long Zhang, Donghong Zhang, Cheng-Hong Wang, Jing Zhao, Zhenyu Zhang. “ART4SQLi: The ART of SQL Injection Vulnerability Discovery.” IEEE Transactions on Reliability, 68(4), pp. 1470-1489 (2019).
- Biyun Zhu, Ruijie Meng, Zhenyu Zhang, W. K. Chan. “ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs.” 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), pp. 169-178 (2019).
2018
- Yuzhen Liu, Long Zhang, Zhenyu Zhang. “A Survey of Test Based Automatic Program Repair.” Journal of Software, 13(8), pp. 437-452 (2018). PDF
- Zijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang. “MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization.” 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 56-63 (2018). PDF
- Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W. K. Chan. “ReTestDroid: Towards Safer Regression Test Selection for Android Application.” 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), pp. 235-244 (2018). PDF
- Long Zhang, Zhenyu Zhang. “SeTCHi: Selecting Test Cases to Improve History-Guided Fault Localization.” 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 200-207 (2018).
- Donghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse. “The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study.” 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), pp. 620-629 (2018). PDF
2017
- Long Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W. K. Chan, Zheng Zheng. “A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization.” Journal of Systems and Software, 129, pp. 35-57 (2017). PDF
- Chung Man Tang, W. K. Chan, Yuen-Tak Yu, Zhenyu Zhang. “Accuracy Graphs of Spectrum-Based Fault Localization Formulas.” IEEE Transactions on Reliability, 66(2), pp. 403-424 (2017). PDF
- Junjie Liu, Xiaopeng Gao, Bo Jiang, Shunkun Yang, Zhenyu Zhang. “Deterministic Replay for Multi-Core VxWorks Applications.” 2017 International Conference on Dependable Systems and Their Applications (DSA), pp. 118-125 (2017).
- Bo Jiang, Yaoyue Zhang, W. K. Chan, Zhenyu Zhang. “Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications.” 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 21-31 (2017). PDF
2016
- Tian Huang, Zhenyu Zhang, Xue-Yang Zhu. “Analyzing GUI running fluency for Android apps.” Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and Communication, pp. 16-22 (2016).
- Jiwei Xu, Wenbo Zhang, Zhenyu Zhang, Tao Wang, Tao Huang. “Clustering-based acceleration for virtual machine image deduplication in the cloud environment.” Journal of Systems and Software ( JSS ) 121: 144-156 (2016). PDF
- Chenglong Sun, Zhenyu Zhang, Bo Jiang, W. K. Chan. “Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps.” 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 298-306 (2016). PDF
- Tian Huang, Zhenyu Zhang, and Xue-Yang Zhu. “Using Frame Rate to Analyze GUI Running Fluency for Android Apps.” in Proceedings of The 3rd International Workshop on Mobile Sensing, Computing and Communication (MSCC 2016), in conjuction with The 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing ( MobiHoc 2016 ). PDF
2015
- Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse. “A Subsumption Hierarchy of Test Case Prioritization for Composite Services.” IEEE Transactions on Services Computing, 8(5), pp. 658-673 (2015). PDF
- Yibiao Yang, Yuming Zhou, Hongmin Lu, Lin Chen, Zhenyu Chen, Baowen Xu, Hareton K. N. Leung, Zhenyu Zhang. “Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study.” IEEE Transactions on Software Engineering, 41(4), pp. 331-357 (2015).
- Fangyun Qin, Zheng Zheng, Chenggang Bai, Yu Qiao, Zhenyu Zhang, Cheng Chen. “Cross-Project Aging Related Bug Prediction.” 2015 IEEE International Conference on Software Quality, Reliability and Security, pp. 43-48 (2015). PDF
- Nan Wang, Zheng Zheng, Zhenyu Zhang, Cheng Chen. “FLAVS: A Fault Localization Add-In for Visual Studio.” 2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS), pp. 1-6 (2015). PDF
- Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang. “Replay Debugging of Real-Time Vxworks Applications.” 2015 IEEE 39th Annual Computer Software and Applications Conference, pp. 568-573 (2015). PDF
- W. K. Chan, T. H. Tse, Shangru Wu, Yuen-Tak Yu, Zhenyu Zhang. “Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.” 2015 IEEE 39th Annual Computer Software and Applications Conference, pp. 11-16 (2015).
2014
- Wenbo Zhang, Xiaowei Zhou, Jianhua Zhang, Zhenyu Zhang, and Hua Zhong. “A Class Loading Sensitive Approach to Detection of Runtime Type Errors in Component-based Java Programs.” Journal of Information and Software Technology ( JIST ) 56(9): 1076-1085 (2014). PDF
- Cheng-Hong Wang, Donghong Zhang, Hualin Lu, Jing Zhao, Zhenyu Zhang, Zheng Zheng. “An experimental study on firewall performance: Dive into the bottleneck for firewall effectiveness.” 2014 10th International Conference on Information Assurance and Security, pp. 71-76 (2014).
- Chaoqiang Deng, Fanping Zeng, Hui Zhang, Zhenyu Zhang, and Qixing Dong. “Detecting Program Non-crashing Failures via Assertion and Slicing.” Journal of Chinese Computer Systems , (in Chinese), 2014.
- Heng Li, Yuzhen Liu, Zhenyu Zhang, Jian Liu. “Program structure aware fault localization.” Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, pp. 40-48 (2014). PDF
- Peng Hao, Zheng Zheng, Zhenyu Zhang, Yichao Gao, Cheng Gong, and Yunzhi Xue. “Self-Adaptive Fault Localization Algorithm Based on Predicate Execution Information Analysis.” Chinese Journal of Computers , (in Chinese), 2014.
- Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang. “Software Maintenance Optimization Based on Stackelberg Game Methods.” 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 426-430 (2014).
2013
- Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. “A fault localization framework to alleviate the impact of execution similarity.” International Journal of Software Engineering and Knowledge Engineering ( IJSEKE ) 23(7): 963-998 (2013). PDF
- Jian Xu, Zhenyu Zhang, W. K. Chan, T. H. Tse, Shanping Li. “A general noise-reduction framework for fault localization of Java programs.” Information and Software Technology, 55(5), pp. 880-896 (2013). PDF
- Tao He, Xinming Wang, Xiaocong Zhou, Wenjun Li, Zhenyu Zhang, and S. C. Cheung. “A Software Fault Localization Technique Based on Program Mutations.” Chinese Journal of Computers , (in Chinese), 2013.
- Yichao Gao, Zhenyu Zhang, Long Zhang, Cheng Gong, Zheng Zheng. “A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization.” 2013 13th International Conference on Quality Software, pp. 288-291 (2013). PDF
- Chang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. “BPELDebuger: An effective BPEL-specific fault localization framework.” Journal of Information and Software Technology ( JIST ) 55(12): 2140-2153 (2013). http://dx.doi.org/10.1016/j.infsof.2013.07.009. PDF
- Zheng Zheng, Yichao Gao, Peng Hao, Zhenyu Zhang. “Coincidental correctness: An interference or interface to successful fault localization?.” 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 114-119 (2013). PDF
- Yunqian Zhang, Zheng Zheng, Xiaohui Ji, Wenbo Zhang, and Zhenyu Zhang. “Markov Model-based Effectiveness Predicting for Software Fault Localization.” Chinese Journal of Computers , (in Chinese), 2013.
- Bo Jiang, Ke Zhai, W. K. Chan, T. H. Tse, Zhenyu Zhang. “On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.” Information and Software Technology, 55(5), pp. 897-917 (2013). PDF
2012
- Qifeng Tang, Lei Xu, Ju Qian, Lin Chen, and Zhenyu Zhang. “A fault localization method based on model combination.” China Sciencepaper 7(1): 19-27 (2012). (in Chinese).
- Cheng Gong, Zheng Zheng, Yunqian Zhang, Zhenyu Zhang, Yunzhi Xue. “Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs.” 2012 19th Asia-Pacific Software Engineering Conference, pp. 729-732 (2012).
- Zhenyu Zhang, W. K. Chan, T. H. Tse. “Fault Localization Based Only on Failed Runs.” Computer, 45(6), pp. 64-71 (2012). PDF
- Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen. “How well does test case prioritization integrate with statistical fault localization?.” Information and Software Technology, 54(7), pp. 739-758 (2012). PDF
- Lei Zhao, Li-na Wang, Dongming Gao, Zhenyu Zhang, and Zuoting Xiong. “Mining Associations to Improve the Effectiveness of Fault Localization.” Chinese Journal of Computers , (in Chinese), 2012.
- Chang-ai Sun, Yi Meng Zhai, Yan Shang, and Zhenyu Zhang. “Toward effectively locating integration-level faults in BPEL programs.” in Proceedings of the 12th International Conference on Quality Software ( QSIC 2012 ), Xi'an, China, Aug 27 - 29, 2012, pages 17-20. PDF
- Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang. “Wielding Statistical Fault Localization Statistically.” 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, pp. 189-194 (2012).
2011
- Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li. “A Dynamic Fault Localization Technique with Noise Reduction for Java Programs.” 2011 11th International Conference on Quality Software, pp. 11-20 (2011). PDF
- Zhenyu Zhang, W. K. Chan, T. H. Tse, Yuen-Tak Yu, Peifeng Hu. “Non-parametric statistical fault localization.” Journal of Systems and Software, 84(6), pp. 885-905 (2011).
- Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. “PAFL: Fault Localization via Noise Reduction on Coverage Vector.” in Proceedings of the 23th International Conference on Software Engineering and Knowledge Engineering ( SEKE 2011 ), Miami, USA, Jul 7 - 9, 2011. PDF
- Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang. “Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.” 2011 IEEE 35th Annual Computer Software and Applications Conference, pp. 58-67 (2011). PDF
2010
- Lijun Mei, W. K. Chan, Zhenyu Zhang, Xiaopeng Gao. “A Community-Centric Model for Service Publication, Discovery, Selection, Binding, and Maintenance.” 2010 Fifth IEEE International Symposium on Service Oriented System Engineering, pp. 303-310 (2010). PDF
- Qiong Shi, Zhenyu Zhang, Zhifang Liu, and Xiaopeng Gao. “Enhance Fault Localization Using a 3D Surface Representation.” in Proceedings of the 2nd International Conference on Computer Research and Development ( ICCRD 2010 ), Kuala Lumpur, Malaysia, May 7 - 10, 2010, pages 720-724. PDF
- Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang. “Fault localization through evaluation sequences.” Journal of Systems and Software, 83(2), pp. 174-187 (2010). PDF
- Zhenyu Zhang, Zhongxing Xu, Zhifang Liu, and Xiaopeng Gao. “Macro-like Instrumentation Grammar for Boolean Expressions.” in Proceedings of 2010 International Conference on Computational Intelligence and Software Engineering ( CiSE 2010 ), Wuhan, China, Dec 10 - 12, 2010. PDF
- Zhenyu Zhang, Zijian Tong, Xiaopeng Gao. “Testing in Parallel - A Need for Practical Regression Testing.” International Conference on Software Technologies (ICSOFT) (2010).
2009
- Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. “Adaptive Random Test Case Prioritization.” 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 233-244 (2009). PDF
- Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang. “Capturing propagation of infected program states.” Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pp. 43-52 (2009). PDF
- Zhenyu Zhang, W. K. Chan, T. H. Tse, and Peifeng Hu. “Experimental study to compare the use of metamorphic testing and assertion checking.” Journal of Software ( JoS ) 20(10), 2009. PDF
- Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen. “How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.” 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp. 99-106 (2009). PDF
- Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang. “Is non-parametric hypothesis testing model robust for statistical fault localization?.” Information and Software Technology, 51(11), pp. 1573-1585 (2009). PDF
- W. K. Chan, Lijun Mei, Zhenyu Zhang. “Modeling and testing of cloud applications.” 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 111-118 (2009). PDF
- Lijun Mei, Zhenyu Zhang, W. K. Chan. “More Tales of Clouds: Software Engineering Research Issues from the Cloud Application Perspective.” 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp. 525-530 (2009). PDF
- Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Heng Lu, Lijun Mei. “Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.” Journal of Systems and Software, 82(9), pp. 1376-1387 (2009). PDF
- Zhenyu Zhang. “Software Debugging through Dynamic Analysis of Program Structures.” The University of Hong Kong (2009). PDF
- Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang. “Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.” 2009 IEEE 31st International Conference on Software Engineering, pp. 45-55 (2009). PDF
- Lijun Mei, Zhenyu Zhang, W. K. Chan, T. H. Tse. “Test case prioritization for regression testing of service-oriented business applications.” Proceedings of the 18th international conference on World wide web, pp. 901-910 (2009). PDF
- Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse. “Where to adapt dynamic service compositions.” Proceedings of the 18th international conference on World wide web, pp. 1123-1124 (2009). PDF
2008
- Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse. “Debugging through Evaluation Sequences: A Controlled Experimental Study.” 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp. 128-135 (2008). PDF
- Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. “Fault Localization with Non-parametric Program Behavior Model.” 2008 The Eighth International Conference on Quality Software, pp. 385-395 (2008). PDF
2007
- Zhenyu Zhang, W. K. Chan, and T. H. Tse. “Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques.” in Proceedings of the 7th International Conference on Quality Software ( QSIC 2007 ), Portland, Oregon, USA, Oct 11 - 12, 2007, pages 181-190, IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. PDF
- W. K. Chan, Tsong Yueh Chen, Shing-Chi Cheung, T. H. Tse, Zhenyu Zhang. “Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.” Lecture Notes in Computer Science, pp. 84-99 (2007). PDF
2006
- Peifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse. “An empirical comparison between direct and indirect test result checking approaches.” Proceedings of the 3rd international workshop on Software quality assurance, pp. 6-13 (2006). PDF
Awards and Honors
- Best Paper Award, QRS 2017.
- Best Paper Award, COMPSAC 2009.
- SIGSOFT-CAPS Fund, FSE 2009.
- Best Paper Award Nomination, WWW 2009.
- Best Paper Award (First Class), Tsinghua University PhD Candidates Academic Forum, 2008.
- Best Paper Award and IEEE Computer Society Best Paper Award, COMPSAC 2008.
- MSRA Fellowship 2006 Nomination.
Research Funding
- 2014–2018. Safety Critical Systems Software Project Management and Quality Assurance. National Key Basic Research Program of China (973), Grant 2014CB340702. Co-Investigator.
- 2014–2017. Key Technologies of Parallel, Multi-Platform Cloud-Based Testing. National Natural Science Foundation of China, Grant 61379045. Principal Investigator.
- 2014. Intelligent Instrument and Analysis for Continuous Delivery and Test Optimization. IBM UR Project, Grant JSP201309009. Principal Investigator.
- 2011–2013. Regression Testing and Fault Localization in a Continuous Integration Environment. National Natural Science Foundation of China, Grant 61003027. Principal Investigator.
Selected Professional Service
- Program committee member for COMPSAC, SEKE, APSEC, QSIC, APSCC, SOSE, ICSOFT, and related software engineering venues.
- Publicity Chair, QSIC 2013 and ICASE-11.
- Chair, International Workshop on Program Debugging in China (IWPDC 2010).
- Guest Editor, Special Issue on Testing and Debugging of Software Systems, Advances in Software Engineering.
- Reviewer for TSE, ASE, COMPSAC, ISSRE, JSS, QSIC, SEKE, and other software engineering venues.
Main Collaborators
Patents and Software
Selected patents and software registrations
- Dynamic proportion test-case prioritization and selection method and system based on machine learning, CN202110901585.4.
- Automatic SQL injection vulnerability detection platform and method based on adaptive random testing, CN2017107602176.
- Mobile application testing methods based on code injection and computer vision, CN201610333630X and CN201610165980X.
- Program-structure-impact-aware software fault localization method, CN201410546645.5.
- Malware detection platform based on opcode features, CN108920954B.
- Software registrations include Murphi Parser, ART4SQLi, JumPatcher, and Smart Monkey.
Experience
- Associate Research Professor, Key Laboratory of System Software (Chinese Academy of Sciences), Beijing. 2026–present.
- Associate Research Professor, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing. December 2011–December 2025.
- Research Associate / Visiting Scholar, College of Business, City University of Hong Kong / Innovation and Technology Commission, Hong Kong. September 2020–June 2022.
- Research Fellow / Visiting Scholar, Department of Computer Science, City University of Hong Kong. June 2014–April 2016.
- Assistant Research Professor, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing. February 2010–November 2011.
- Research Assistant / Teaching Assistant, Department of Computer Science, The University of Hong Kong. October 2005–January 2010.
- Software Engineer, SUN China Engineering and Research Institute, Beijing. August 2003–February 2004.
- Visiting Student, Visual Computing Group, Microsoft Research Asia. March–July 2003.
Education
- PhD, Computer Science, The University of Hong Kong, 2005–2009. Supervisors: Prof. T. H. Tse and Dr. W. K. Chan.
- MSc, Computer Science and Technology, Tsinghua University, 2002–2005.
- BEng, Computer Science and Technology, Tsinghua University, 1998–2002.
Other Scholarly Work
Translations
- Nicholas Wells. Guide to Linux Networking and Security. Science Press, 2004. Zhenyu Zhang and Wei Liu, translators.
- Blake Schwendiman. PHP 4 Developer's Guide. Tsinghua University Press, 2002. Hongtao Yang, Jing Huang, and Zhenyu Zhang, translators.
Contact
Room A217, Floor 2, Building 5
Key Laboratory of System Software (Chinese Academy of Sciences)
Institute of Software, Chinese Academy of Sciences
4 South Fourth Street, Zhongguancun
Beijing 100190, P.R. China