鄭征
研究領域
可信智能軟件
可靠機載軟件
智能任務規劃
科研項目
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]