From the 1 of 4 linked papers with an AI index.
4 papers
Metamorphic Coverage
Jinsheng Ba, Yuancheng Jiang, Manuel Rigger
The paper proposes Metamorphic Coverage, a metric that measures the distinct code exercised by pairs of inputs in metamorphic testing, and shows it correlates better with bug detec…
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…
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…
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…