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 …

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 …

In object-oriented programs, a unit test often consists of a sequence of method calls that
create and mutate objects. It is challenging to automatically generate sequences that are …

This paper presents TestFul, an Eclipse plugin for the generation of tests for Java classes. It
is based on the idea of search-based testing, working both at class and method level. The …

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet
the manually created test scripts are often seriously incomplete. A unit-testing tool called …

process) and in their chatty, colloquial style (“If you're upset, take a cleansing breath. In
through your nose... hold it 1, 2, 3...,” and so forth). Unfortunately, this kind of patter …

Automated test generation for object-oriented software typically consists of producing
sequences of calls aiming at high code coverage. In practice, the success of this process …

JWalk is a lazy systematic unit-testing tool for Java, which supports dynamic inference of
specifications from code and systematic testing from the acquired specification. This paper …

The paper Test Input Generation With Java PathFinder was published in the International
Symposium on Software Testing and Analysis (ISSTA) 2004 Proceedings, and has now …