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

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

Abstract

Abstract is missing.