TY  - RPRT
TI  - NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction
AU  - Minh-Luân Nguyen
AU  - Olivier Levillain
AU  - Julien Malka
AU  - Stefano Zacchiroli
AU  - Théo Zimmermann
PY  - 2026
UR  - https://arxiv.org/abs/2606.00625
ID  - 2606.00625
ER  -