文章
103
标签
6
分类
0
LinLi's Blog
论文阅读
标签 - 论文阅读
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
2024-09-28
SQLaser: Detecting DBMS Logic Bugs with Clause-Guided Fuzzing
2024-08-18
MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures
2024-08-17
Movery A Precise Approach for Modified Vulnerable Code Clone Discovery from Modified Open-Source Software Components
2024-07-30
Translating between SQL Dialects for Cloud Migration
1
2
…
6
Lin Li
今日事，今日毕
文章
103
标签
6
分类
0
Follow Me
公告
This is my Blog
最新文章
SMT Solver Validation Empowered by Large Pre-trained Language Models
2024-10-19
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
2024-10-13
Domain Adaptation for Code Model-Based Unit Test Case Generation
2024-10-12
LPR: Large Language Models-Aided Program Reduction
2024-10-10
Understanding and Detecting SQL Function Bugs
2024-10-04
标签
db
算法系列
CPython
其他
文献综述
论文阅读
归档
十月 2024
6
九月 2024
1
八月 2024
2
七月 2024
5
六月 2024
4
五月 2024
6
四月 2024
1
三月 2024
2
网站资讯
文章数目 :
103
本站访客数 :
本站总访问量 :
最后更新时间 :
