Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation.

Jie Liang Zhiyong Wu Jingzhou Fu Mingzhe Wang Chengnian Sun Yu Jiang

Published in: ICSE (2024)

Keyphrases

database management systems
database systems
database
data model
data sets
source code
linear transformation
query processing
relational dbms
root cause
relational database management systems
software projects
database management
software systems
test cases
data processing
databases
real time