DTD: Comprehensive and Scalable Testing for Debuggers
Read the paper · doi:10.1145/3643779
What this paper does with SQLancer
One author-year citation, among the differential-testing work the paper places itself alongside.
DTD tests interactive debuggers, which can misretrieve or misinterpret program state and so mislead developers, and for which no scalable comprehensive correctness measurement existed. The authors propose testing criteria covering comprehensiveness of debug information and scalability, then build a differential framework that runs the same C executable through two mainstream debuggers and treats discrepancies as bugs. DTD found 13 bugs in the LLVM toolchain and 5 in the GNU toolchain.
How it was classified
uses infrastructure — no
SQLancer is cited, not used; nothing in the mentions describes reusing its code.
extends technique — no
No technique is extended; the citation is background.
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 (1)
1 sentence, 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 | 2019,2016;LiandSu2023; McKeeman 1998 ;Rigger and Su 2020 ;Theodoridiset al . |
author year citation |
1 INTRODUCTION page 2 |