UTBot Java at the SBST2022 Tool Competition

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

2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST)（2022）

引用 3|浏览1

暂无评分

摘要

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

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要