Ai Liu

According to our database, Ai Liu authored at least 19 papers between 2018 and 2025.

Collaborative distances:

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

2025

Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.

Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang

Proceedings of the Theoretical Aspects of Software Engineering, 2025

TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.

Ai Liu, Yang Liu, Shaoying Liu

Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025

2024

Program Segment Testing for Human-Machine Pair Programming.

Lei Rao, Shaoying Liu, Ai Liu

Int. J. Softw. Eng. Knowl. Eng., October, 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