98 citations · 166 across the 18 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.SE2025
Metamorphic Coverage
Jinsheng Ba, Yuancheng Jiang, Manuel Rigger
Metamorphic testing is a widely used methodology that examines an expected relation between pairs of executions to automatically find bugs, such as correctness bugs. We found that…
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.SE2025
Enhanced Differential Testing in Emerging Database Systems
Yuancheng Jiang, Jianing Wang, Chuqi Zhang +3
In recent years, a plethora of database management systems have surfaced to meet the demands of various scenarios. Emerging database systems, such as time-series and streaming data…