中文

Paper Publications

Current position: Home > Scientific Research > Paper Publications

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

Release time:2025-04-15  Hits:

Journal:ISSTA Companion '25: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis

Indexed by:Essay collection

Page Number:66-70

Translation or Not:no

Included Journals:EI

Co-author:Yang Liu,Shaoying Liu

Date of Publication:2025-06-11

Pre One: Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness Next One: Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

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