Dingbang Fang

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Transfer Learning

Formal Verification

Defect Prediction

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

IEEE Trans. Reliab.

Publications

Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. Int. J. Softw. Eng. Knowl. Eng. 34 (2) (2024)
Dingbang Fang, Shaoying Liu, Yang Li
Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction. Int. J. Softw. Eng. Knowl. Eng. 33 (7) (2023)
Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL (2022)
Dingbang Fang, Shaoying Liu, Ai Liu
Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction. IEEE Trans. Reliab. 71 (2) (2022)
Dingbang Fang, Shaoying Liu, Ai Liu
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. QRS (2021)
Dingbang Fang, Chenhao Zhang
Multi-Feature Learning by Joint Training for Handwritten Formula Symbol Recognition. IEEE Access 8 (2020)