98 citations · 146 across the 8 of their papers we have counts for
6 papers · 1 filter
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…
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…
Understanding and Reusing Test Suites Across Database Systems
Suyang Zhong, Manuel Rigger
Database Management System (DBMS) developers have implemented extensive test suites to test their DBMSs. For example, the SQLite test suites contain over 92 million lines of code.…
Intramorphic Testing: A New Approach to the Test Oracle Problem
Manuel Rigger, Zhendong Su
A test oracle determines whether a system behaves correctly for a given input. Automatic testing techniques rely on an automated test oracle to test the system without user interac…
Forest: Structural Code Editing with Multiple Cursors
Philippe Voinov, Manuel Rigger, Zhendong Su
Software developers frequently refactor code. Often, a single logical refactoring change involves changing multiple related components in a source base such as renaming each occurr…
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction
Manuel Rigger, Zhendong Su
Database Management Systems (DBMS) are used ubiquitously. To efficiently access data, they apply sophisticated optimizations. Incorrect optimizations can result in logic bugs, whic…