@misc{indiciae2207d75d6440,
  title = {Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs},
  author = {Shan Jiang and Chenguang Zhu and Sarfraz Khurshid},
  year = {2024},
  url = {https://arxiv.org/abs/2411.01789},
  note = {Source identifier: 2411.01789}
}