← Research building on SQLancer

M. Tang, T. Tse, Z. Zhou. 2022. 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Read the paper · doi:10.1109/issrew55968.2022.00056

What this paper does with SQLancer

The paper is built entirely on SQLancer's work: it devotes a section to query partitioning and ternary logic partitioning, identifies a gap between the two, and introduces disjoint partitioning to close it. That gap-closing is the paper's whole contribution. A short paper proposing disjoint partitioning as an extension of existing metamorphic testing for DBMSs, motivated by the oracle problem that makes execution results hard to verify against expected outcomes. The authors apply it in an empirical case study on OceanBase and report uncovering hidden failures and crashes in a system already extensively tested and widely used in industry. Written by claude-opus-5 from the 8 places this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

How it was classified

uses infrastructure — no

SQLancer is cited, not used; nothing in the mentions describes reusing its code.

extends technique — yes

M1 names query partitioning and ternary logic partitioning as the techniques the paper works from, and M2 states that the authors find a gap between them and introduce disjoint partitioning to address it. Closing that gap is the contribution, not a baseline.

Ternary Logic Partitioning (TLP)

They proposed the query partitioning (QP) and ternary logic partitioning (TLP) techniques. M1 · I INTRODUCTION · page 1
We find a gap between QP and TLP, and introduce the concept of disjoint partitioning to address the issue. M2 · I INTRODUCTION · page 1

compares with — no

No empirical comparison against SQLancer is reported in the mentions.

describes as state of the art — no

The citation does not characterise SQLancer as the state of the art.

Every place it refers to SQLancer (8)

8 sentences, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.

Id Sentence Found by Where
M1 They proposed the query partitioning (QP) and ternary logic partitioning (TLP) techniques. technique
definition 		I INTRODUCTION
page 1
M2 We find a gap between QP and TLP, and introduce the concept of disjoint partitioning to address the issue. technique
extension 		I INTRODUCTION
page 1
M3 PREVIOUS WORK BY RIGGER ANDSU In 2020, Rigger and Su applied MT to alleviate the oracle problem in DBMS testing [4][5]|6]. author year citation
background 		IV PREVIOUS WORK BY RIGGER ANDSU
page 2
M4 They proposed a general concept called query partitioning (QP) [5] for revealing DBMS failures. technique
definition 		IV PREVIOUS WORK BY RIGGER ANDSU
page 2
M5 Rigger and Su further proposed ternary logic partitioning (TLP) [5] as a specific case of QP. technique
definition 		IV PREVIOUS WORK BY RIGGER ANDSU
page 2
M6 TLP has revealed failures in various DBMS. technique
extension 		IV PREVIOUS WORK BY RIGGER ANDSU
page 2
M7 EXTENSION OFRIGGER ANDSU TODISJOINT PARTITIONING After thorough investigation, we find that Rigger and Su’s proposed QP as a strategic idea is too general for practical MR constructions, while TLP as a special implementation of the strategic idea is too specific. technique
background 		V EXTENSION OFRIGGER ANDSU TODISJOINT PARTITIONING
page 2
M8 We have identified a gap between query partitioning and ternary logic partitioning in Rigger and Su’s work. technique
background 		3.1.0 Our tool automatically constructs random source queries,
page 2

This page is rendered from _data/papers/paper_doi_10_1109_issrew55968_2022_00056.json, extracted from supplied pdf. 2 pages, 0 references parsed.