TY  - RPRT
TI  - DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
AU  - Nikitha Rao
AU  - Elizabeth Gilbert
AU  - Harrison Green
AU  - Tahina Ramananandro
AU  - Nikhil Swamy
AU  - Claire Le Goues
AU  - Sarah Fakhoury
PY  - 2025
UR  - https://arxiv.org/abs/2410.04249
ID  - 2410.04249
ER  -