文章
122
标签
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
今日事，今日毕
文章
122
标签
6
分类
0
Follow Me
公告
This is my Blog
最新文章
解决Camera ready ✘ Problem: Not all fonts are embedded. 问题
2025-04-08
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
标签
算法系列
论文阅读
CPython
db
其他
文献综述
归档
四月 2025
1
二月 2025
4
一月 2025
4
十二月 2024
4
十一月 2024
6
十月 2024
6
九月 2024
1
八月 2024
2
网站资讯
文章数目 :
122
本站访客数 :
本站总访问量 :
最后更新时间 :
