Pinned Repositories
EET
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
jzuming.github.io
TxCheck
A fuzzing framework for finding transactional bugs in DBMSs
sqlglot
Python SQL Parser and Transpiler
JZuming's Repositories
JZuming/TxCheck
A fuzzing framework for finding transactional bugs in DBMSs
JZuming/EET
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
JZuming/jzuming.github.io