Weijiang Hong

According to our database, Weijiang Hong authored at least 15 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of message-passing uninterpreted programs.

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang

Sci. Comput. Program., 2024

2023

Formal Verification Based Synthesis for Behavior Trees.

Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

CSP based Formal Modeling and Verification of Behavior Trees.

Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022

Collaborative Verification of Uninterpreted Programs.

Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021

A Robustness-Oriented Data Augmentation Method for DNN.

Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Trace Abstraction-Based Verification for Uninterpreted Programs.

Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution.

Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang

Frontiers Inf. Technol. Electron. Eng., 2020

Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN.

Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Graph Neural Network-based Vulnerability Predication.

Qi Feng, Chengdong Feng, Weijiang Hong

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Reasoning about connectors using Coq and Z3.

Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun

Sci. Comput. Program., 2019

Evaluation of model checkers by verifying message passing programs.

Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang

Sci. China Inf. Sci., 2019

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.

Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.

Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang

CoRR, 2018

2017

Using Coq for Formal Modeling and Verification of Timed Connectors.

Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun

Proceedings of the Software Engineering and Formal Methods, 2017

2016

Reasoning About Connectors in Coq.

Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016