TY  - RPRT
TI  - Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
AU  - Shan Jiang
AU  - Chenguang Zhu
AU  - Sarfraz Khurshid
PY  - 2024
UR  - https://arxiv.org/abs/2411.01789
ID  - 2411.01789
ER  -