Weijiang Hong

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 15

Top Topics

Symbolic Execution

Top Venues

Sci. Comput. Program.

Publications

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234 (2024)
Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion (2023)
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
Formal Verification Based Synthesis for Behavior Trees. SETTA (2023)
Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
Collaborative Verification of Uninterpreted Programs. TASE (2022)
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng
A Robustness-Oriented Data Augmentation Method for DNN. QRS Companion (2021)
Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
Trace Abstraction-Based Verification for Uninterpreted Programs. FM (2021)
Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. 21 (9) (2020)
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. ASE (2020)
Qi Feng, Chengdong Feng, Weijiang Hong
Graph Neural Network-based Vulnerability Predication. ICSME (2020)
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. TASE (2019)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning about connectors using Coq and Z3. Sci. Comput. Program. 170 (2019)
Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. 62 (10) (2019)
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR (2018)
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops (2017)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning About Connectors in Coq. FACS (2016)