Ai Liu

According to our database, Ai Liu authored at least 16 papers between 2018 and 2024.

Collaborative distances:

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

2024

Detecting security vulnerabilities with vulnerability nets.

Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang

J. Syst. Softw., February, 2024

NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.

Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang

Int. J. Softw. Eng. Knowl. Eng., February, 2024

2023

Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.

Ai Liu, Shaoying Liu

IEEE Trans. Software Eng., 2023

Observation of Hidden Asymmetry in Polarization Space for Dissipative Soliton Fiber Lasers.

Yu Long, Qiang Wu, Zhenghu Chang, Ai Liu, Yuanjie Yu, Shiyun Dai, Peng Cai, Ligang Huang, Lei Gao, Tao Zhu

Symmetry, 2023

Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection.

Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction.

Dingbang Fang, Shaoying Liu, Ai Liu

IEEE Trans. Reliab., 2022

Probabilistic mediator: A coalgebraic perspective.

Ai Liu, Shaoying Liu, Meng Sun

J. Log. Algebraic Methods Program., 2022

Knowledge Graph Construction for SOFL Formal Specifications.

Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang

Int. J. Softw. Eng. Knowl. Eng., 2022

Testing Program Segments to Detect Runtime Exceptions in Java.

Lei Rao, Shaoying Liu, Ai Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Verifying and Improving Neural Networks Using Testing-Based Formal Verification.

Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

2021

A Unifying Coalgebraic Semantics Framework for Quantum Systems.

Ai Liu, Meng Sun

Int. J. Softw. Eng. Knowl. Eng., 2021

Testing Program Segments to Detect Software Faults during Programming.

Lei Rao, Shaoying Liu, Ai Liu

Int. J. Perform. Eng., 2021

Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures.

Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang

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

EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction.

Dingbang Fang, Shaoying Liu, Ai Liu

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

2019

A Coalgebraic Semantics Framework for Quantum Systems.

Ai Liu, Meng Sun

Proceedings of the Formal Methods and Software Engineering, 2019

2018

On Semantics for Mediator: A Coalgebraic Perspective.

Ai Liu, Shun Wang, Yi Li, Meng Sun

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018