에이전트는 테스트·검증 기법을 얼마나 잘 활용하는가?

<ul> <li>Rust로 <strong>Zstd를 구현하는 코딩 에이전트</strong>에 26가지 테스트·검증 지시와 4가지 스킬을 적용했지만, 기법 이름을 알려주는 것만으로 구현 정확도가 크게 개선되지는 않음</li> <li><strong>형식적 검증과 속성 기반 테스트</strong>를 사용해도 버그가 잦은 부분보다 단순한 산술 속성, 자명한 증.....