文章
103
标签
6
分类
0
LinLi's Blog
Finding Bugs in Database Systems via Query Partitioning
发表于
2023-07-23
|
更新于
2023-10-23
|
阅读量:
Hey, password is required here.
文章作者:
Lin Li
文章链接:
http://example.com/2023/07/23/Finding-Bugs-in-Database-Systems-via-Query-Partitioning/
版权声明:
本博客所有文章除特别声明外，均采用
CC BY-NC-SA 4.0
许可协议。转载请注明来自
LinLi's Blog
！
论文阅读
上一篇
sql的编译与执行
下一篇
go-randgen使用
相关推荐
2023-03-04
PLUMBER
2023-03-08
通过NPM生态系统的依赖树揭开脆弱性传播及其演化的神秘面纱
2023-04-03
Flexible and Optimal Dependency Management via Max-SMT
2023-04-11
What the Fork Finding Hidden Code Clones in npm
2023-04-12
Static Type Inference for Foreign Functions of Python
2023-04-13
Where to Start Studying Type Annotation Practices in Python
Lin Li
今日事，今日毕
文章
103
标签
6
分类
0
Follow Me
公告
This is my Blog
目录
1.
Finding Bugs in Database Systems via Query Partitioning
1.1.
Basic Information:
1.2.
论文简要 :
1.3.
背景信息:
1.4.
方法:
1.5.
结果:
1.6.
摘要：
1.7.
Introduction:
1.8.
Motivation Example:
1.9.
Background:
1.10.
APPROACH:
1.10.1.
Method
1.10.1.1.
Query Partitioning:
1.10.1.2.
TLP:
1.10.1.3.
Process:
1.10.1.4.
Intuition on the partitions.
1.10.1.5.
oracles
1.10.2.
3.1 Testing WHERE Clauses
1.10.3.
3.2 Testing Grouping
1.10.4.
3.3 Aggregate Functions
1.11.
EVALUATION
1.11.1.
Experiment Setup
1.11.2.
5.1 Effectiveness
1.11.3.
5.2 Comparison with NoREC
1.11.4.
5.3 Test Oracle Coverage
最新文章
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
