The Trustworthy Software Research Center has been conducting research along the following four directions: 1) Software vulnerability analysis and detection techniques, 2) Software testing theories and techniques, 3) Automated software vulnerability repair theories and techniques, and 4) Modeling and simulation techniques for autonomous systems. The center has published more than 50 papers in international journals and conferences, applied for 10 patents, and secured 15 research projects at the national, provincial, municipal levels, as well as from leading IT companies. The developed technologies have been deployed and applied in companies such as Tencent, Huawei, and PopSquare.

Outcome 1：Software vulnerability detection and analysis techniques for complex systems

Outcome 2：Software testing methods and techniques for complex systems