Research Field
- No Content
Paper Publications MORE+
- Kaicheng Shao.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.accepted by QRS 2025
- Ai Liu.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.accepted by TASE 2025
- Ai Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.ISSTA Companion '25: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis.2025:66-70
- Ai Liu.Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.IEEE Transactions on Software Engineering.2023,49(1):304 - 324
- Ai Liu.Probabilistic mediator: A coalgebraic perspective.Journal of Logical and Algebraic Methods in Programming.2022,129:100808
Patents
- No Content