Finding Logic Bugs in Graph-processing Systems via Graph-cutting

Open Webpage

Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger

Published: 2025, Last Modified: 29 Apr 2026Proc. ACM Manag. Data 2025EveryoneRevisionsBibTeXCC BY-SA 4.0