郑征
研究领域
可信智能软件
可靠机载软件
智能任务规划
科研项目
DO-178B系列标准定量分析技术研究,上海航空器适航审定中心
飞行控制软件优化技术研究,成都飞机工业（集团）有限责任公司
复合双层主从决策及其在无人机群任务分配中的应用研究,国家自然科学基金委员会
飞机飞控系统软件适航技术要求和符合性方法研究,北京空间飞行器总体设计部
飞行控制软件缺陷定位方法及其应用研究,北京市教委,郑征
面向运行环境依赖缺陷的软件自动化调试技术研究,国家自然科学基金委员会
学术成果
论文
.Zhang, X. Y., Zheng, Z., & Cai, K. Y. (2018). Exploring the usefulness of unlabelled test cases in software fault localization. Journal of Systems and Software, 136, 278-290.
.Qin, F., Zheng, Z., Qiao, Y., & Trivedi, K. S. (2018). Studying aging-related bug prediction using cross-project models. IEEE Transactions on Reliability, 68(3), 1134-1153.
.Zhao, Y., Zheng, Z., & Liu, Y. (2018). Survey on computational-intelligence-based UAV path planning. Knowledge-Based Systems, 158, 54-64.
.Sui, Y., Yan, H., Zheng, Z., Zhang, Y., & Xue, J. (2018). Parallel construction of interprocedural memory SSA form. Journal of Systems and Software, 146, 186-195.
.Qiao, Y., Zheng, Z., Fang, Y., Qin, F., Trivedi, K. S., & Cai, K. Y. (2018). Two-level rejuvenation for android smartphones and its optimization. IEEE Transactions on Reliability, 68(2), 633-652.
.Zheng, Z., & Guanping, X. I. A. O. (2019). Evolution analysis of a UAV real-time operating system from a network perspective. Chinese Journal of Aeronautics, 32(1), 176-185.
.Xu, Y., Yin, B., Zheng, Z., Zhang, X., Li, C., & Yang, S. (2019). Robustness of spectrum-based fault localisation in environments with labelling perturbations. Journal of Systems and Software, 147, 172-214.
.Qiu, K., Zheng, Z., Trivedi, K. S., & Yin, B. (2019). Stress testing with influencing factors to accelerate data race software failures. IEEE Transactions on Reliability. Accepted.
.Xiao, G., Zheng, Z., Jiang, B., & Sui, Y. (2019). An empirical study of regression bug chains in Linux. IEEE Transactions on Reliability. Accepted.
.Xiao, G., Zheng, Z., Yin, B., Trivedi, K. S., Du, X., & Cai, K. Y. (2019). An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Transactions on Reliability, 68(4), 1356-1383.
获奖情况
IEEE CIS Emerging Technologies TC member
International Journal of Computational Intelligence Systems年度优秀Editor
重庆市优秀硕士论文
中国科学院院长奖
北京市英才计划
IEEE Senior Member
北京航空航天大学青年英才计划[1]