Abstract: Linking the components in a formal specification to those in the corresponding program is a prerequisite for formal specification-based program fault detection. Existing traceability link ...
Abstract: There is an extensive literature about refactorings of object-oriented programs, and many refactoring tools for the Java programming language. However, except for a few studies, in practice ...
This project has been accepted for the ISSTA 2025 tool demonstration track: Ai Liu, Yang Liu, and Shaoying Liu. 2025. TBFV4J: An Automated Testing-Based Formal Verification Tool for Java. In 34th ACM ...
Formal specification languages have been used mostly to prove mathematically that a program or module is correct, or to automatically construct a correct program. In both cases, a high-level ...
Large language models (LLMs) have been extensively researched for programming-related tasks, including program summarisation, over recent years. However, the task of abstracting formal specifications ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback