Zhenkai Liang

Publications

Yuancheng Jiang, Jianing Wang, Chuqi Zhang, Roland Yap, Zhenkai Liang, Manuel Rigger (2025). ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems. In FSE 2026.

PDF

Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland Yap, Zhenkai Liang (2025). Fuzzing the PHP Interpreter via Dataflow Fusion. In SEC 2025.

PDF

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H.C. Yap, Zhenkai Liang, Manuel Rigger (2023). Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation. In ICSE 2024.

PDF Cite