Jingzhou Fu is an author at Tsinghua University specializing in formal methods, program analysis, and data science.
Top concepts
FuzzingEngineeringData ScienceFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
2022–2024
4
4
Griffin : Grammar-Free DBMS Fuzzing
Jingzhou Fu, Jie Liang, Zhiyong Wu et al. · 2022 · 39 citations · Full text
Sequence-Oriented DBMS Fuzzing
Jie Liang, Yaoguang Chen, Zhiyong Wu et al. · 2023 · 22 citations
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
Jie Liang, Zhiyong Wu, Jingzhou Fu et al. · 2024 · 15 citations
Rows per page
1–4 of 4