Kex at the 2022 SBST Tool Competition

Abstract

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 inputs to an original backward-search based algorithm called Reanimator, which generates executable JUnit test cases satisfying the symbolic inputs. Kex-reflection is a modification of Kex that uses Java reflection library to generate test cases from symbolic inputs. This paper summarizes the results and experiences of Kex and Kex-reflection participation in the tenth edition of the Java unit testing tool competition at the International Workshop on Search-Based Software Testing (SBST) 2022.