张震宇

研究方向

• 软件测试与持续验证
• 调试、故障定位与程序分析
• 人工智能辅助的软件工程与安全
• 程序验证与可靠系统
• 云计算与服务计算

学术主页与相关网站

• Google Scholar
• DBLP
• ORCID
• Seer Radar：软件工程研究索引
CNKI

论文精选

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, 页 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), 页 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, 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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), 页 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, 页 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), 页 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), 页 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), 页 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, 页 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), 页 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), 页 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), 页 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, 页 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), 页 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, 页 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, 页 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, 页 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, 页 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, 页 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), 页 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, 页 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), 页 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), 页 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, 页 729-732 (2012年).
• Venue Others · mainZhenyu Zhang, W. K. Chan, T. H. Tse. “Fault Localization Based Only on Failed Runs.” Computer, 45(6), 页 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), 页 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, 页 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, 页 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), 页 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, 页 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, 页 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), 页 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, 页 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, 页 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, 页 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), 页 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), 页 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, 页 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), 页 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, 页 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, 页 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, 页 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, 页 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, 页 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, 页 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, 页 6-13 (2006年). PDF

论文目录

完整目录由原实验室主页、经核验的 DBLP 记录及 2026 年已确认录用记录合并而成。论文标题保留其原始语言。

奖励与荣誉

• 最佳论文奖，QRS 2017。
• 最佳论文奖，COMPSAC 2009。
• SIGSOFT-CAPS Fund，FSE 2009。
• 最佳论文提名，WWW 2009。
• 一等奖，清华大学博士生学术论坛，2008。
• 最佳论文奖及IEEE Computer Society 最佳论文奖，COMPSAC 2008。
• 微软亚洲研究院学者奖提名，2006。

科研项目

• 2014–2018：安全关键系统软件项目管理和质量保障，国家重点基础研究发展计划（973），课题号 2014CB340702，课题骨干。
• 2014–2017：并行多平台云测试关键技术，国家自然科学基金，项目号 61379045，项目负责人。
• 2014：持续交付与测试优化智能分析工具，IBM UR 项目，项目号 JSP201309009，项目负责人。
• 2011–2013：持续集成环境中的回归测试与故障定位，国家自然科学基金，项目号 61003027，项目负责人。

主要学术服务

• 曾任 COMPSAC、SEKE、APSEC、QSIC、APSCC、SOSE、ICSOFT 等会议程序委员会委员。
• QSIC 2013、ICASE-11 宣传主席。
• 中国程序调试国际研讨会 IWPDC 2010 主席。
• Advances in Software Engineering 软件系统测试与调试专刊客座编辑。
• 曾为 TSE、ASE、COMPSAC、ISSRE、JSS、QSIC、SEKE 等期刊和会议审稿。

主要合作者

• T. H. Tse
• W. K. Chan
• Bo Jiang

专利与软件

工作经历

• 副研究员，中国科学院基础软件与系统重点实验室，北京，2026 年至今。
• 副研究员，计算机科学国家重点实验室、中国科学院软件研究所，北京，2011 年 12 月至 2025 年 12 月。
• 研究助理／访问学者，香港城市大学商学院／香港创新科技署，2020 年 9 月至 2022 年 6 月。
• 研究员／访问学者，香港城市大学计算机科学系，2014 年 6 月至 2016 年 4 月。
• 助理研究员，计算机科学国家重点实验室、中国科学院软件研究所，北京，2010 年 2 月至 2011 年 11 月。
• 研究助理／教学助理，香港大学计算机科学系，2005 年 10 月至 2010 年 1 月。
• 软件工程师，Sun 中国工程研究院，北京，2003 年 8 月至 2004 年 2 月。
• 访问学生，微软亚洲研究院视觉计算组，2003 年 3 月至 7 月。

教育经历

• 博士，香港大学计算机科学，2005–2009。导师：T. H. Tse 教授、W. K. Chan 博士。
• 硕士，清华大学计算机科学与技术，2002–2005。
• 学士，清华大学计算机科学与技术，1998–2002。

其他学术工作

联系方式

北京市海淀区中关村南四街 4 号
中国科学院软件研究所 5 号楼 2 层 A217 室
中国科学院基础软件与系统重点实验室
邮编 100190