檢視郑征的原始碼

{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center>''' 郑征  '''<br><img src="https://shi.buaa.edu.cn/_resources/group1/M00/00/09/wKgAm2JDtlmAPAonAABGb01IYyI188.jpg  " width="180"></center><small>[https://shi.buaa.edu.cn/zhengzheng/zh_CN/hjxx/4647/list/index.htm  北京航空航天大学]

</small> 
|}

'''郑征'''，男，北京航空航天大学教授。
==研究领域==
可信智能软件

可靠机载软件

智能任务规划

==科研项目==
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

北京航空航天大学青年英才计划<ref>[https://shi.buaa.edu.cn 北京航空航天大学]</ref>
==参考资料== 
{{reflist}}

[[Category:教授]]