Automated Testing and Improvement of Named Entity Recognition Systems. - Boxi Yu; Yiyan Hu; Qiuyang Mang; Wenhan Hu; Pinjia He (ESEC/SIGSOFT FSE, 2023)

Retromorphic Testing: A New Approach to the Test Oracle Problem. - Boxi Yu; Qiuyang Mang; Qingshuo Guo; Pinjia He (CoRR, 2023)

Testing Graph Database Systems via Equivalent Query Rewriting. - Qiuyang Mang; Aoyang Fang; Boxi Yu; Hanfei Chen; Pinjia He (ICSE, 2024)

Scalable Algorithm for Finding Balanced Subgraphs with Tolerance in Signed Networks. - Jingbang Chen; Qiuyang Mang; Hangrui Zhou; Richard Peng; Yu Gao 001; Chenhao Ma 001 (KDD, 2024)

Efficient Historical Butterfly Counting in Large Temporal Bipartite Networks via Graph Structure-aware Index. - Qiuyang Mang; Jingbang Chen; Hangrui Zhou; Yu Gao 001; Yingli Zhou; Richard Peng; Yixiang Fang; Chenhao Ma 001 (CoRR, 2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. - Wenjing Deng; Qiuyang Mang; Chengyu Zhang 001; Manuel Rigger (CoRR, 2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. - Wenjing Deng; Qiuyang Mang; Chengyu Zhang 001; Manuel Rigger (Proc. ACM Manag. Data, 2024)

Efficient Historical Butterfly Counting in Large Temporal Bipartite Networks via Graph Structure-aware Index. - Qiuyang Mang; Jingbang Chen; Hangrui Zhou; Yu Gao 001; Yingli Zhou; Qingyu Shi; Richard Peng; Yixiang Fang; Chenhao Ma 001 (Proc. VLDB Endow., 2025)

Scalable Approximate Biclique Counting over Large Bipartite Graphs. - Jingbang Chen; Weinuo Li; Yingli Zhou; Hangrui Zhou; Qiuyang Mang; Can Wang; Yixiang Fang; Chenhao Ma 001 (CoRR, 2025)

Finding Logic Bugs in Graph-processing Systems via Graph-cutting. - Qiuyang Mang; Jinsheng Ba; Pinjia He; Manuel Rigger (Proc. ACM Manag. Data, 2025)