Concepedia

Jinsheng Ba

JB

5

Publications

89

Citations

5

H-Index

2022

Active since

Affiliations

National University of Singapore(Current)

Jinsheng Ba is an author at National University of Singapore specializing in computer science, software engineering, and software analysis.

Top concepts

FuzzingEngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringVerificationFormal MethodsBinary Analysis

Publications per year

2022–2024

5

Publications

5

Testing Database Engines via Query Plan Guidance

Jinsheng Ba, Manuel Rigger · 2023 · 33 citations

Stateful Greybox Fuzzing

Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen et al. · arXiv (Cornell University) · 2022 · 18 citations · Full text

Engineering, Verification, Software Engineering +18

Keep It Simple: Testing Databases via Differential Query Plans

Jinsheng Ba, Manuel Rigger · Proceedings of the ACM on Management of Data · 2024 · 14 citations · Full text

Efficient Greybox Fuzzing to Detect Memory Errors

Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury · 2022 · 12 citations · Full text

Engineering, Mem Testing, Software Systems +16

Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba et al. · 2024 · 12 citations · Full text

Rows per page

1–5 of 5