18 citations · 49 across the 8 of their papers we have counts for
5 papers · 1 filter
Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
Jinsheng Ba, Zhendong Su
Performance is a critical characteristic of fundamental systems, such as Database Management Systems (DBMSs). Both academia and industry have invested decades in exploring efficien…
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…
Towards a Unified Query Plan Representation
Jinsheng Ba, Manuel Rigger
In database systems, a query plan is a series of concrete internal steps to execute a query. Multiple testing approaches utilize query plans for finding bugs. However, query plans…
Testing Database Engines via Query Plan Guidance
Jinsheng Ba, Manuel Rigger
Database systems are widely used to store and query data. Test oracles have been proposed to find logic bugs in such systems, that is, bugs that cause the database system to comput…
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
Jinsheng Ba, Manuel Rigger
Database Management Systems (DBMSs) process a given query by creating a query plan, which is subsequently executed, to compute the query's result. Deriving an efficient query plan…