Ai Liu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Formal Specification

Defect Prediction

Software Packages

Top Venues

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

IEEE Trans. Reliab.

Publications

Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
Detecting security vulnerabilities with vulnerability nets. J. Syst. Softw. 208 (2024)
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)
Yu Long, Qiang Wu, Zhenghu Chang, Ai Liu, Yuanjie Yu, Shiyun Dai, Peng Cai, Ligang Huang, Lei Gao, Tao Zhu
Observation of Hidden Asymmetry in Polarization Space for Dissipative Soliton Fiber Lasers. Symmetry 15 (1) (2023)
Ai Liu, Shaoying Liu
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Trans. Software Eng. 49 (1) (2023)
Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. ICECCS (2023)
Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
Detecting Security Vulnerabilities with Vulnerability Nets. QRS Companion (2022)
Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
Knowledge Graph Construction for SOFL Formal Specifications. Int. J. Softw. Eng. Knowl. Eng. 32 (4) (2022)
Ai Liu, Shaoying Liu, Meng Sun
Probabilistic mediator: A coalgebraic perspective. J. Log. Algebraic Methods Program. 129 (2022)
Lei Rao, Shaoying Liu, Ai Liu
Testing Program Segments to Detect Runtime Exceptions in Java. SOFL+MSVL (2022)
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)
Lei Rao, Shaoying Liu, Ai Liu
Testing Program Segments to Detect Software Faults during Programming. Int. J. Perform. Eng. 17 (11) (2021)
Ai Liu, Meng Sun
A Unifying Coalgebraic Semantics Framework for Quantum Systems. Int. J. Softw. Eng. Knowl. Eng. 31 (3) (2021)
Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures. QRS (2021)
Dingbang Fang, Shaoying Liu, Ai Liu
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. QRS (2021)
Ai Liu, Meng Sun
A Coalgebraic Semantics Framework for Quantum Systems. ICFEM (2019)
Ai Liu, Shun Wang, Yi Li, Meng Sun
On Semantics for Mediator: A Coalgebraic Perspective. SOFL+MSVL (2018)