People
Projects
Publications
Found Bugs
Openings
Seminars
Publications
Type
Conference paper
Journal article
Preprint
Date
2024
2023
2022
Jinsheng Ba
,
Manuel Rigger
(2024).
Keep It Simple: Testing Databases via Differential Query Plans
. In
SIGMOD 2024
.
PDF
Jun Lyu
,
Shanshan Li
,
He Zhang
,
Yang Zhang
,
Guoping Rong
,
Manuel Rigger
(2024).
Detecting Build Dependency Errors in Incremental Builds
. In
ISSTA 2024
.
Jack Clark
,
Alastair Donaldson
,
John Wickerson
,
Manuel Rigger
(2024).
Validating Database System Isolation Level Implementations with Version Certificate Recovery
. In
EuroSys 2024
.
Chi Zhang
,
Linzhang Wang
,
Manuel Rigger
(2023).
Finding Cross-rule Optimization Bugs in Datalog Engines
. In
OOPSLA 2024
.
Shuxin Li
,
Manuel Rigger
(2023).
Finding XPath Bugs in XML Document Processors via Differential Testing
. In
ICSE 2024
.
Jinsheng Ba
,
Manuel Rigger
(2023).
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
. In
ICSE 2024
.
PDF
Cite
Project
Yuancheng Jiang
,
Jiahao Liu
,
Jinsheng Ba
,
Roland H.C. Yap
,
Zhenkai Liang
,
Manuel Rigger
(2023).
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
. In
ICSE 2024
.
Matteo Kamm
,
Manuel Rigger
,
Chengyu Zhang
,
Zhendong Su
(2022).
Testing Graph Database Engines via Query Partitioning
. In
ISSTA 2023
.
Cite
Jinsheng Ba
,
Manuel Rigger
(2022).
Testing Database Engines via Query Plan Guidance
. In
ICSE 2023
.
PDF
Cite
Project
Manuel Rigger
,
Zhendong Su
(2022).
Intramorphic Testing: A New Approach to the Test Oracle Problem
. In
Onward! 2022
.
Cite
Philippe Voinov
,
Manuel Rigger
,
Zhendong Su
(2022).
Forest: Structural Code Editing with Multiple Cursors
. In
Onward! 2022
.
Cite
Cite
×