GSlicer Jun 18, 2025 Go to Project Site GSlicer is an automated testing tool that finds logic bugs in graph-processing systems. Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group. Publications Finding Logic Bugs in Graph-processing Systems via Graph-cutting Graph-processing systems, including Graph Database Management Systems (GDBMSes) and graph libraries, are designed to analyze and manage … Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger Project
