文章
121
标签
6
分类
0
LinLi's Blog
十月 2024
文章总览 - 6
2024
2024-10-19
SMT Solver Validation Empowered by Large Pre-trained Language Models
2024-10-13
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
2024-10-12
Domain Adaptation for Code Model-Based Unit Test Case Generation
2024-10-10
LPR: Large Language Models-Aided Program Reduction
2024-10-04
Understanding and Detecting SQL Function Bugs
2024-10-03
THANOS: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing
1
Lin Li
今日事，今日毕
文章
121
标签
6
分类
0
Follow Me
公告
This is my Blog
最新文章
Sequence-Oriented DBMS Fuzzing
2025-02-21
AGENTLESS: Demystifying LLM-based Software Engineering Agents
2025-02-18
DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
2025-02-01
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence
2025-02-01
LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
2025-01-30
标签
文献综述
db
论文阅读
算法系列
其他
CPython
归档
二月 2025
4
一月 2025
4
十二月 2024
4
十一月 2024
6
十月 2024
6
九月 2024
1
八月 2024
2
七月 2024
5
网站资讯
文章数目 :
121
本站访客数 :
本站总访问量 :
最后更新时间 :
