Integrating Published Testing Approaches into SQLancer
Dongqiao Huang
SQLancer is a tool to automatically test Database Management Systems (DBMSs) in order to find bugs in their implementation. That is, it finds bugs in...
Enhancing SQLancer with External Reducer Support and Hierarchical Delta Debugging
Jinhui Xu
SQLancer’s current test case reduction framework faces three key limitations: (1) tight coupling between internal reducers (Delta Debugging and...
Supporting Automated Scripts for DBMS Deployment
Leyao Liu
This proposal addresses the complexity of deploying DBMS instances for testing with SQLancer—an issue that makes it challenging for beginners and...
Adding Support for the Latest Postgres Version
Yaojie Jia
SQLancer is a tool that automatically tests DBMS in order to find bugs in their implementations. As of right now, SQLancer supports many great...
