Ai Liu
Orcid: 0000-0001-8222-2157
According to our database1,
Ai Liu
authored at least 16 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
2
2
3
2
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Syst. Softw., February, 2024
NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.
Int. J. Softw. Eng. Knowl. Eng., February, 2024
2023
Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.
IEEE Trans. Software Eng., 2023
Observation of Hidden Asymmetry in Polarization Space for Dissipative Soliton Fiber Lasers.
Symmetry, 2023
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.
IEEE Trans. Reliab., 2022
J. Log. Algebraic Methods Program., 2022
Int. J. Softw. Eng. Knowl. Eng., 2022
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022
2021
Int. J. Softw. Eng. Knowl. Eng., 2021
Int. J. Perform. Eng., 2021
Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018