TY  - RPRT
TI  - Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
AU  - Haoxin Tu
AU  - Zhide Zhou
AU  - He Jiang
AU  - Imam Nur Bani Yusuf
AU  - Yuxian Li
AU  - Lingxiao Jiang
PY  - 2024
DO  - 10.1109/tse.2024.3397822
UR  - https://arxiv.org/abs/2307.00593
ID  - 2307.00593
ER  -