DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts

Published at Under Submission, 2024