![Zhendong Su](https://conf.researchr.org/getProfileImage/zhendongsu/dc550485-278f-4f0a-b64d-5ef9dfd72fc8/small.jpg?1711456304000)
Registered user since Sun 26 Aug 2018
Contributions
2020
SPLASH
- On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
- Finding Bugs in Database Systems via Query Partitioning
- Finding Bugs in Database Systems via Query Partitioning
- Fast Linear Programming through Transprecision Computing on Small and Sparse Data
- On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
SPLASH 2020-profile
View general profile
View general profile