검증이 너무 멀리 나아갈 때: LLM 테스트 커버리지 대 타당성

When Verification Explores Too Far: LLM Test Coverage vs. Validity