2023-10-24[Review] Squirrel: Testing Database Management Systems with Language Validity and Coverage FeedbackResearch
2024-07-12[Review] Assisting Static Analysis with Large Language Models: A ChatGPT ExperimentResearch
2024-07-04[Review] Detecting Missed Security Operations Through Differential Checking of Object-based Similar PathsResearch
2024-06-04[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program AnalysisResearch
2024-04-25[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux KernelsResearch
![[Review] MINER: A Hybrid Data-Driven Approach for REST API Fuzzing](/blog/images/12/cover.png)
![[Review] Assisting Static Analysis with Large Language Models: A ChatGPT Experiment](/blog/images/42/cover.png)
![[Review] Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths](/blog/images/41/cover.png)
![[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis](/blog/images/40/cover.png)
![[Review] MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation](/blog/images/39/cover.png)
![[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux Kernels](/blog/images/38/cover.png)
![[Review] Testing Database Engines via Pivoted Query Synthesis](/blog/images/11/cover.jpeg)
![[Review] Squirrel: Testing Database Management Systems with Language Validity and Coverage Feedback](/blog/images/10/cover.png)
