2 citations · 2 across the 9 of their papers we have counts for
4 papers · 1 filter
Agentic Evolution of SQL Test Generators
Suyang Zhong, Manuel Rigger
Automated testing has uncovered many logic bugs in Database Management Systems (DBMSs). Existing tools are typically limited to a few SQL dialects and a subset of these dialects' f…
Automated Database Testing via LLM-Synthesized SQL Features
Suyang Zhong, Manuel Rigger
Database Management Systems (DBMSs) have been tested by various automated testing approaches. Many of them generate pairs of equivalent queries to identify bugs that cause DBMSs to…
Scaling Automated Database System Testing
Suyang Zhong, Manuel Rigger
Recently, various automated testing approaches have been proposed that use specialized test oracles to find hundreds of logic bugs in mature, widely-used Database Management System…
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.…