Ai Liu

25 papers A 1B 1C 4Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ultrafast Single Pulse Imaging With Large Field of View for Dynamic Measurement Based on Virtually Imaged Phased Array.
Int. J. Imaging Syst. Technol.
Lei Chen, Ai Liu, Peng Cai, Hang Ming, Yu Long, Yujia Li, Yulong Cao, Ligang Huang, Daqiu Zhou, Lei Gao
2025 A conf
Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification.
ISSRE
Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang
2025 C conf
Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.
QRS
Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun
2025 — conf
Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models.
QRS Companion
Min Zhou, Zhibin Yang, Yong Zhou, Shuyi Yang, Ai Liu
2025 — conf
TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.
ISSTA Companion
Ai Liu, Yang Liu, Shaoying Liu
2025 Misc conf
Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.
TASE
Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang
2024 J jnl
Detecting security vulnerabilities with vulnerability nets.
J. Syst. Softw.
Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
2024 J jnl
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.
Int. J. Softw. Eng. Knowl. Eng.
Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang
2024 J jnl
Program Segment Testing for Human-Machine Pair Programming.
Int. J. Softw. Eng. Knowl. Eng.
Lei Rao, Shaoying Liu, Ai Liu
2023 J jnl
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.
IEEE Trans. Software Eng.
Ai Liu, Shaoying Liu
2023 J jnl
Observation of Hidden Asymmetry in Polarization Space for Dissipative Soliton Fiber Lasers.
Symmetry
Yu Long, Qiang Wu, Zhenghu Chang, Ai Liu, Yuanjie Yu, Shiyun Dai, Peng Cai, Ligang Huang, Lei Gao, Tao Zhu
2023 — ed.
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
SOFL+MSVL
Shaoying Liu, Zhenhua Duan, Ai Liu
2023 B conf
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection.
ICECCS
Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu
2022 — conf
Detecting Security Vulnerabilities with Vulnerability Nets.
QRS Companion
Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
2022 J jnl
Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction.
IEEE Trans. Reliab.
Dingbang Fang, Shaoying Liu, Ai Liu
2022 J jnl
Knowledge Graph Construction for SOFL Formal Specifications.
Int. J. Softw. Eng. Knowl. Eng.
Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
2022 J jnl
Probabilistic mediator: A coalgebraic perspective.
J. Log. Algebraic Methods Program.
Ai Liu, Shaoying Liu, Meng Sun
2022 — conf
Testing Program Segments to Detect Runtime Exceptions in Java.
SOFL+MSVL
Lei Rao, Shaoying Liu, Ai Liu
2022 — conf
Verifying and Improving Neural Networks Using Testing-Based Formal Verification.
SOFL+MSVL
Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
2021 J jnl
A Unifying Coalgebraic Semantics Framework for Quantum Systems.
Int. J. Softw. Eng. Knowl. Eng.
Ai Liu, Meng Sun
2021 C conf
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction.
QRS
Dingbang Fang, Shaoying Liu, Ai Liu
2021 C conf
Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures.
QRS
Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang
2021 J jnl
Testing Program Segments to Detect Software Faults during Programming.
Int. J. Perform. Eng.
Lei Rao, Shaoying Liu, Ai Liu
2019 C conf
A Coalgebraic Semantics Framework for Quantum Systems.
ICFEM
Ai Liu, Meng Sun
2018 — conf
On Semantics for Mediator: A Coalgebraic Perspective.
SOFL+MSVL
Ai Liu, Shun Wang, Yi Li, Meng Sun