文章
103
标签
6
分类
0
LinLi's Blog
Testing database engines via pivoted query synthesis
发表于
2023-07-17
|
更新于
2023-10-23
|
阅读量:
Hey, password is required here.
文章作者:
Lin Li
文章链接:
http://example.com/2023/07/17/Testing-database-engines-via-pivoted-query-synthesis/
版权声明:
本博客所有文章除特别声明外，均采用
CC BY-NC-SA 4.0
许可协议。转载请注明来自
LinLi's Blog
！
论文阅读
上一篇
什么是蜕变测试?
下一篇
History-Driven Build Failure Fixing: How Far Are We?
相关推荐
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.
Testing Database Engines via Pivoted Query Synthesis
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.
Pivoted Query Synthesis
1.10.1.
3.1 Approach Overview
1.10.2.
3.2 Query Generation & Checking
1.10.3.
3.3 Random State Generation
1.10.4.
3.4 Important Implementation Details
1.11.
Evaluation
1.12.
Interesting Bugs
1.13.
Related Work
最新文章
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
