A5103132196- Software Testing and Debugging Techniques
- Radiomics and Machine Learning in Medical Imaging
- Parallel Computing and Optimization Techniques
- Computational Physics and Python Applications
- Real-time simulation and control systems
- Software Reliability and Analysis Research
- Embedded Systems Design Techniques
Huawei Technologies (China)
2024
UTBotCpp and UTBot Java [3] are automatic white-box test generators for C/C++ programs correspondingly. The tools were developed by Huawei based on symbolic concrete execution. They try to cover as many branches possible using program bytecode. For this purpose, analyze paths in the control flow graph of a given method, construct constraints them, find satisfying input values SMT-solver corresponding branches. In paper, we report results at tenth edition SBST 2022 tool competition.
UTBot is the tool for automated unit test generation, which produces ready-to-use Java cases with valid inputs. This year, it implemented in two different variants: UTBot-fuzz that a grey-box fuzzer and UTBot-concolic has dynamic symbolic execution engine its core now paired fuzzing. In this paper, we report results at SBFT 2023 competition.