Unit tests are widely used to check source code quality, but they can be too coarse-grained
or ill-suited for testing individual program statements. We introduce inline tests to make it …

We recently proposed inline tests for validating individual program statements; they allow
developers to provide test inputs, expected outputs, and test oracles immediately after a …

We present an approach to learn contracts for object-oriented programs where guarantees
of correctness of the contracts are made with respect to a test generator. Our contract …

The premise of this paper asserts that the source code of software programs must preserve
the underlying domain knowledge in the form of declarative domain models and fully exploit …

We introduce Object Graph Programming (OGO), which enables reading and modifying an
object graph (ie, the entire state of the object heap) via declarative queries. OGO models the …

Design-by-contract as a programming technique is becoming popular in Python community
as various tools have been developed for automatically testing the code based on the …

Data structure repair has been proposed as an error recovery mechanism to increase
software resilience when errors happen at runtime for a deployed system. Although …

Modern software systems rely on automated testing and reliability techniques to detect bugs
during development and to make the system resilient to runtime failures. Logical constraints …

A Bibliography of Publications about the Java Programming Language, 2020–2029 Page 1
A Bibliography of Publications about the Java Programming Language, 2020–2029 Nelson …