TY  - RPRT
TI  - Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles
AU  - Alexander Stromberger
AU  - Christoph Hochrainer
AU  - Valentin Wüstholz
AU  - Maria Christakis
PY  - 2026
UR  - https://arxiv.org/abs/2610.18165
ID  - 2610.18165
ER  -