TY  - RPRT
TI  - CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
AU  - Zaoyu Chen
AU  - Jianbo Dai
AU  - Boyu Zhu
AU  - Jingdong Wang
AU  - Huiming Wang
AU  - Xin Xu
AU  - Haoyang Yuan
AU  - Zhijiang Guo
AU  - Xiao-Ming Wu
PY  - 2026
UR  - https://arxiv.org/abs/2604.12268
ID  - 2604.12268
ER  -