8 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.SE2026
BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
Dawei Li, Qifan Liu, Yuxiao Guo +7
DBMSs are complex systems prone to bugs that may lead to system failures or compromise data integrity. Establishing unified DBMS bug repositories is crucial for systematically orga…
cs.SE2025★ 8 cited
Constant Optimization Driven Database System Testing
Chi Zhang, Manuel Rigger
Logic bugs are bugs that can cause database management systems (DBMSs) to silently produce incorrect results for given queries. Such bugs are severe, because they can easily be ove…
cs.SE2024
Finding Cross-rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, Manuel Rigger
Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detec…