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 …

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 …

Unit tests are labor-intensive to write and maintain. This paper looks into how well unit tests
for a target software package can be extracted from the execution traces of client code. Our …

Unit testing, a common step in software development, presents a challenge. When produced
manually, unit test suites are often insufficient to identify defects. The main alternative is to …

State-of-the art techniques for automated test generation focus on generating executions
that cover program behavior. As they do not generate oracles, it is up to the developer to …

Even in simple programs there are hidden assumptions and dependencies between units
that are not immediately visible in each involved unit. These dependencies are generally …

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 …

To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into
programs; a non-detected mutation indicates a weakness in the test suite. We present an …

Mutation testing has traditionally been used as a defect injection technique to assess the
effectiveness of a test suite as represented by a “mutation score.” Recently, mutation testing …

Diverse test sets are able to expose bugs that test sets generated with structural coverage
techniques cannot discover. Input-diverse test set generators have been shown to be …