UTBot at the SBFT 2023 Java Tool Competition

UTBot is the tool for automated unit test generation, which produces ready-to-use Java test cases with valid inputs. This year, it is implemented in two different variants: UTBot-fuzz that is a grey-box fuzzer and UTBot-concolic that has a dynamic symbolic execution engine in its core now paired with fuzzing. In this paper, we report the UTBot results at the SBFT 2023 Java tool competition.