@inproceedings{paper-d-helix,
  title = {{D-Helix: A Generic Decompiler Testing Framework Using Symbolic Differentiation}},
  author = {{Muqi Zou} and {Arslan Khan} and {Ruoyu Wu} and {Han Gao} and {Antonio Bianchi} and {Dave (Jing) Tian}},
  year = {2024},
  url = {https://www.usenix.org/conference/usenixsecurity24/presentation/zou},
  booktitle = {33rd USENIX Security Symposium (USENIX Security 24)},
  pages = {397--414},
  publisher = {USENIX Association},
  month = aug
}