QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms

Matteo Paltenghi, Michael Pradel. 2025. arXiv.org.

What this paper does with SQLancer

One citation in related work, noting that grammar-based generators similar to QITE's approach have been applied successfully to compilers and similar software, SQLancer among the examples. QITE tests quantum computing platforms across platform boundaries using QASM as the common ground. Its ITE process generates equivalent quantum programs by importing assembly into a platform's representation, transforming it through that platform's optimisation and gate conversion, and exporting it back. A crash oracle catches failures during transformation and an equivalence oracle checks the resulting programs really are equivalent. Across four platforms it revealed 17 bugs. Written by claude-opus-5 from the 1 place 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 — 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.

SQLancer publications it cites (1)

Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.

#	Entry	Matched as
38	Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 667–682.	sqlancer publication · PQS

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	Grammar-based generators, similar to our approach, have been successfully applied to test different compilers and similar software, such as the Java Virtual Machine [ 40], C compilers [ 13,50], SMT solvers [ 47], database engines [ 38], and deep learning software infrastructure [ 23,26,27,45].	citation marker background	6 Related Work page 10

This page is rendered from _data/papers/paper_arxiv_2503_17322.json, extracted from arxiv. 12 pages, 57 references parsed.