UTBot Java at the SBST2022 Tool Competition

Dmitry Ivanov, Alexey Menshutin,Denis Fokin,Yury Kamenev, Sergey Pospelov,Egor Kulikov,Nikita Stroganov

15TH SEARCH-BASED SOFTWARE TESTING WORKSHOP (SBST 2022)（2022）

Huawei Res

被引用5|浏览9

摘要

UTBotCpp and UTBot Java [3] are automatic white-box test generators for C/C++ and Java programs correspondingly. The tools were developed by Huawei and are based on symbolic and concrete execution. They try to cover as many branches as possible using program bytecode. For this purpose, UTBot tools analyze paths in the control flow graph of a given method, construct constraints for them, and try to find satisfying input values using SMT-solver to cover corresponding branches. In this paper, we report the results of UTBot Java at the tenth edition of the SBST 2022 tool competition.

查看译文

关键词

UTBot Java,SBST 2022 tool competition,SBST2022 tool competition,automatic white-box test generators,symbolic execution,concrete execution,possible using program bytecode,UTBot tools,corresponding branches

上传PDF