test-oracles

LLMs Can Suggest Metamorphic Relations. They Just Can't Guarantee Them.

Large language models are decent brainstorming partners for discovering test oracles, but they hallucinate properties and miss domain constraints.