@misc{indiciae7618516315dd,
  title = {NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction},
  author = {Minh-Luân Nguyen and Olivier Levillain and Julien Malka and Stefano Zacchiroli and Théo Zimmermann},
  year = {2026},
  url = {https://arxiv.org/abs/2606.00625},
  note = {Source identifier: 2606.00625}
}