Publications & Manuscripts

2024

2024

  1. ICSE’2024
    Testing Graph Database Systems via Equivalent Query Rewriting
    Qiuyang Mang*, Aoyang Fang*, Boxi Yu, Hanfei Chen, and Pinjia He
    ICSE’24: International Conference on Software Engineering, 2024
  2. KDD’2024
    Scalable Algorithm for Finding Balanced Subgraphs with Tolerance in Signed Networks
    Jingbang Chen*, Qiuyang Mang*, Hangrui Zhou*, Richard Peng, Yu Gao, and 1 more author
    KDD’24: the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024
  3. SIGMOD’2025
    Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
    Wenjing Deng, Qiuyang Mang, Chengyu Zhang, and Manuel Rigger
    Proc. ACM Manag. Data, Berlin, Germany, 2024

2023

2023

  1. ESEC/FSE’2023
    Automated Testing and Improvement of Named Entity Recognition Systems
    Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, and Pinjia He
    ESEC/FSE’23: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Manuscript

Manuscript

  1. Nearly Optimal Internal Dictionary Matching
    Jingbang Chen, Jiangqi Dai, Qiuyang Mang, Qingyu Shi, and Tingqiang Xu
    Manuscript
  2. Retromorphic Testing: A New Approach to the Test Oracle Problem
    Boxi Yu*, Qiuyang Mang*, Qingshuo Guo, and Pinjia He
    Manuscript
  3. Efficient Historical Butterfly Counting in Large Temporal Bipartite Networks via Graph Structure-aware Index
    Qiuyang Mang*, Jingbang Chen*, Hangrui Zhou*, Yu Gao, Yingli Zhou, and 3 more authors
    Manuscript