UTBot at the SBFT 2023 Java Tool Competition.

Dmitry Ivanov, Alexey Menshutin, Maxim Pelevin, Daniil Stepanov,Denis Fokin,Yury Kamenev,Egor Kulikov, Artemiy Kononov, Sergey Pospelov, Ivan Volkov, Alena Lisevych, Timur Yuldashev,Nikita Stroganov, Andrey Tarbeev

SBFT（2023）

引用 0|浏览0

暂无评分

摘要

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.

查看译文

关键词

software-testing,-automated-unit-test-generation,-symbolic-execution,-fuzzing,-concolic-testing

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要