https://jzuming.github.io/
ETH Zurich Zurich, Switzerland
Zuming Jiang
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
JZuming
A fuzzing framework for finding transactional bugs in DBMSs