5 papers
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…
Code Semantic Zooming
Jinsheng Ba, Sverrir Thorgeirsson, Zhendong Su
Recent advances in Large Language Models (LLMs) have introduced a new paradigm for software development, where source code is generated from natural language prompts. While this pa…
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…