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 logical bugs 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.