归档 | LinLi's Blog

文章总览 - 122

2024

2024-12-24

Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation

2024-12-15

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs

2024-12-02

ClDiff: Generating Concise Linked Code Differences

2024-11-30

Drowzee Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models

2024-11-29

Vision: Identifying Affected Library Versions for Open Source Software Vulnerabilities

2024-11-24

Validating LLM-Generated Programs with Metamorphic Prompt Testing

2024-11-22

MASTERKEY: Automated Jailbreaking of Large Language Model Chatbots

2024-11-19

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation

2024-11-19

METAL Metamorphic Testing Framework for Analyzing Large-Language Model Qualities

2024-10-19

SMT Solver Validation Empowered by Large Pre-trained Language Models