A test oracle determines whether a system behaves correctly for a given input. Automatic
testing techniques rely on an automated test oracle to test the system without user …

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 …

Partial code execution is the problem of executing code with missing definitions. The
problem has gained recent traction as solutions to the problem could enable various …

We present pytest-inline, the first inline testing framework for Python. We recently proposed
inline tests to make it easier to test individual program statements. But, there is no framework …

Readability is an important aspect of any production or test code artefact. During
development, testing and maintenance, the readability of a unit test can be a key contributor …

Software testing and verification are essential for keeping software systems reliable and safe
to use. However, it requires significant manual effort to write and maintain code artifacts …

The mechanics of how a fault reveals itself as a test failure is of keen interest to software
researchers and practitioners alike. An improved understanding of how faults translate to …

As program synthesizers become integrated into IDEs, programmers combine synthesized
code and manually-written code within the same project. When documenting the …

We present ExLi, a tool for automatically generating inline tests, which were recently
proposed for statement-level code validation. ExLi is the first tool to support retrofitting inline …