欢迎来到 系统与软件安全实验室.
Our database sql query simplification work has been accepted by ISSTA 2024
Our third-party library related bug detection work has been accepted by ICSE 2024.
Our database defect detection work has been accepted by ATC 2023.
Our accelerating build script error detection work has been accepted by ASE 2022.
Our database logical bugs detection work has been accepted by ASE 2022.