Kex at the 2021 SBST Tool Competition

Kex is an automatic white-box test generation tool for Java programs, which is able to generate executable test suites (as JUnit test suites) aiming to satisfy the branch coverage criterion. It uses symbolic execution to analyze control flow graphs of the program under test (PUT) and produces interesting symbolic inputs for each basic block of PUT. Kex then feeds these symbolic inputs to an original backward-search based algorithm called Reanimator, which generates executable JUnit test cases satisfying the symbolic inputs. This paper summarizes the results and experiences of Kex participation in the ninth edition of the Java unit testing tool competition at the International Workshop on Search-Based Software Testing (SBST) 2021.