About me

My research interests lie in the fields of the application of formal methods in programming.

Education experience

• 2020.03 - 2024.06   Ph.D in College of Computer, National University of Defense Technology  
• 2017.09 - 2019.12   M.E in College of Computer, National University of Defense Technology  
• 2013.09 - 2017.06   B.S. in School of Mathematical Sciences, Peking University  

Publications

Last Updated: Jun 8th, 2024

Journal Papers:

• Verification of Message-passing Uninterpreted Programs
  Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
  Science of Computer Programming (SCP) 2024
  [paper]
• Collaborative Verification Method of Uninterpreted Programs(面向未解释程序的合作验证方法)
  Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
  Journal of Softwares (JOS, 软件学报) 2022
  [paper]
• Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
  Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
  Frontiers of Information Technology & Electronic Engineering (FITEE) 2020
  [paper]
• Evaluation of model checkers by verifying message passing programs
  Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
  Science China Information Sciences (SCIS) 2019
  [paper | benchmark]
• Reasoning about connectors using Coq and Z3
  Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
  Science of Computer Programming (SCP) 2019
  [paper]

Conference Papers:

• Formal Verification based Synthesis for Behavior Trees
  Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
  Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2023
  [paper | website]
• CSP based Formal Modeling and Verification of Behavior Trees
  Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
  International Conference on Software Quality, Reliability, and Security (QRS) 2023, Fast Abstracts, FA paper
  [paper]
• Collaborative Verification of Uninterpreted Programs
  Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
  International Symposium on Theoretical Aspects of Software Engineering (TASE) 2022, Short paper
  [paper]
• Trace Abstraction-based Verification for Uninterpreted Programs
  Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
  International Symposium of Formal Methods (FM) 2021
  [paper | code]
• A Robustness-Oriented Data Augmentation Method for DNN
  Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng
  International Conference on Software Quality, Reliability, and Security (QRS) 2021, IEEE International Workshop on Automated and Intelligent Software Testing (AIST), Workshop Paper
  [paper]
• Graph Neural Network-based Vulnerability Predication
  Qi Feng, Chendong Feng, Weijiang Hong
  International Conference on Software Maintenance and Evolution (ICSME) 2020, Late Breaking Ideas Track, LBI paper
  [paper]
• Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
  Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
  International Conference on Automated Software Engineering (ASE) 2020, Late Breaking Results Track, LBR paper
  [paper | website]
• Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq
  Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
  International Symposium on Theoretical Aspects of Software Engineering (TASE) 2019, Short paper
  [paper]
• Using Coq for formal modeling and verification of timed connectors
  Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
  International Conference on Software Engineering and Formal Methods (SEFM) 2017, International Workshop on Coordination and Self-adaptativeness of Software Applications (FOCLASA), Workshop Paper
  [paper]
• Reasoning about connectors in Coq
  Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
  International Conference on Formal Aspects of Component Software (FACS) 2016
  [paper]

Talks

• KLEE 2024 (第四届国际符号执行论坛)@Lisbon, Portugal: Input Grammar Oriented Symbolic Execution
• SETTA 2023(第九届国际可信软件工程会议)@Nanjing, China: Formal Verification based Synthesis for Behavior Trees
• FM 2021(第二十四届国际形式化方法会议)@virtual: Trace Abstraction-based Verification for Uninterpreted Programs
• YR-FMAC 2020 (第五届全国形式化方法与应用会议青年学者论坛)@Chongqing, China: Trace Abstraction-based Verification for Uninterpreted Programs

Awards

• 2023, Excellent Second-class Scholarship, National University of Defense Technology
• 2019, Guanghua Scholarship, National University of Defense Technology
• 2016, Award for Academic Excellents, Peking University
• 2016, May 4th Scholarship, Peking University