南京航空航天大学主页平台管理系统 Liu Ai--Home-- Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness

中文

Home
Scientific Research

Research Field

Paper Publications

Patents

Published Books

Research Projects
Teaching Research

Teaching Resources

Teaching Information

Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
More

刘艾,Associate Professor

Ai Liu, an associate professor at College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics, received the Ph.D in Applied Mathematics from Peking University, ...more+

Paper Publications

Current position: Home > Scientific Research > Paper Publications

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

Release time:2025-04-15 Hits:

Journal:accepted by TASE 2025

Indexed by:Essay collection

Translation or Not:no

Co-author:Yang Liu,Shaoying Liu,Zhibin Yang

Pre One: TBFV4J: An Automated Testing-Based Formal Verification Tool for Java Next One: Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages

Click：| The Last Update Time:--| The Last Update Time:-- |MOBILE Version