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

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

Browse the full ICSE paper archive.