Outdated documentation is a pervasive problem in software development, preventing
effective use of software, and misleading users and developers alike. We posit that one …

Test oracles play a crucial role in software testing, enabling effective bug detection. Despite
initial promise, neural-based methods for automated test oracle generation often result in a …

Documentation in codebases facilitates knowledge transfer. But tools for programming are
largely text-based, and so developers resort to creating ASCII diagrams—graphical artifacts …

When a method throws an exception—its exception precondition—is a crucial element of the
method's documentation that clients should know to properly use it. Unfortunately …

Code comments are a crucial source of software documentation that captures various
aspects of the code. Such comments play a vital role in understanding the source code and …

Many popular programming languages, including C#, Java, and Python, support exceptions.
Exceptions are thrown during program execution if an unwanted event happens, eg, a …

Higher-order logic can be used for meaning representation in natural language processing
to encode the semantic relationships in text. Alternatively, using a formal specification …

Inspired by the great potential of Large Language Models (LLMs) for solving complex coding
tasks, in this paper, we propose a novel approach, named Code2API, to automatically …

Conventional automated test generation tools struggle to generate test oracles and tricky
bug-revealing test inputs. Large Language Models (LLMs) can be prompted to produce test …

In software development and maintenance, code comments can help developers
understand source code, and improve communication among developers. However …