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 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 …

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 …

In this paper, we aim at the automated unit coverage-based testing for embedded software.
To achieve the goal, by analyzing the industrial requirements and our previous work on …

Unit tests and production code are intrinsically connected. A class that is easy to test usually
presents desirable characteristics, such as low coupling and high cohesion. Thus, finding …

Tao is a system that optimizes the execution of unit tests in large software programs and
reduces the programmer wait time from minutes to seconds. Tao is based on two key ideas …

Despite the recent advances in automatic test generation, testers must still write test oracles
manually. If formal specifications are available, it might be possible to use decision …

Automated unit tests are an essential software quality assurance measure that is widely
used in practice. In many projects, thus, large volumes of test code have co-evolved with the …

Unit testing is used by programmers to discover bugs with least cost. Static unit testing offers
the minimum path coverage while dynamic unit testing detects control and data flow …

Writing software tests is laborious and time-consuming. To address this, prior studies
introduced various automated test-generation techniques. A well-explored research …