SUSHI and TARDIS at the SBST2019 tool competition.

SUSHI and TARDIS are two automatic test generators for Java programs. They generate test suites, aiming to satisfy the branch coverage adequacy criterion. Both tools exploit symbolic execution to analyze the control flow paths of the program under test and generate path conditions, i.e., constraints on the program inputs that determine the execution of a path, focusing in particular on control flow paths that lead to uncovered branches. Then, SUSHI and TARDIS exploit these path conditions with a search-based algorithm to generate unit tests (in JUnit) that execute those program paths. In this paper we report the results of SUSHI and TARDIS at the seventh edition of the unit testing tool competition at the 2019 edition of the International Workshop on Search-Based Software testing.