Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers

Yichen Li, Dongwei Xiao, Zhibo Liu, Qi Pang, Shuai Wang. 2024. Proc. ACM Softw. Eng..

What this paper does with SQLancer

One citation, in a list of the software systems metamorphic testing has been applied to: databases, AI models and cyber-physical systems. MT-MPC applies metamorphic testing to compilers for secure multi-party computation, which translate high-level descriptions into low-level executables through several intermediate representations and many optimisations. The authors note no systematic understanding of these compilers' correctness existed. They propose three metamorphic relations tailored to MPC programs and check whether the compiler produces semantically equivalent executables. Across three industrial compilers they found 4,772 error-triggering inputs and traced thirteen 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 (2)

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
37	Manuel Rigger and Zhendong Su. 2020. Detecting optimization bugs in database engines via non-optimizing reference engineconstruction.In Proceedingsofthe28thACMJointMeetingonEuropeanSoftwareEngineeringConferenceand Sym...	sqlancer publication · NOREC
38	Manuel Rigger and Zhendong Su. 2020. Finding Bugs in Database Systems via Query Partitioning. Proceedings of the ACM onProgrammingLanguages 4,OOPSLA (2020), 211:1–211:30. https://doi.org/10.1145/3428279	sqlancer publication · TLP

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	MThasbeenappliedtoalargevarietyofsoftwaresystems,includingdatabase[37,38],AImodels[ 29,44,53,54],andCyberPhysicalSystems[ 13].	citation marker background	6.3 Bugs forLogicErrors page 19

This page is rendered from _data/papers/paper_doi_10_1145_3643781.json, extracted from supplied pdf. 22 pages, 56 references parsed.