Kex at the SBFT 2023 Java']Java Tool Competition

Kex is a platform for analysis of JVM programs which mainly focuses on automatic test generation with the aim to maximize branch coverage criterion. Kex takes a set of compiled classes as an input and uses symbolic execution to analyze control flow graphs of the program under test (PUT). Symbolic engine produces a set of interesting inputs which are converted into a JUnit 4 test suite using Java reflection library. Kex can generate tests in fully static mode without running any actual code (Kex-symbolic) and in concolic mode (Kex-concolic) which combines symbolic and concrete executions. This paper summarizes the results and experiences of Kex-symbolic and Kex-concolic participation in the eleventh edition of the Java unit testing tool competition at the International Workshop on Search-Based and Fuzz Testing (SBFT) 2023.