코드-명세
실행 가능한 레퍼런스 구현을 명세로 사용하는 접근법으로, 자연어가 아니라 동작하는 코드가 의도된 동작의 기준이 된다. 에이전트는 이 레퍼런스를 참조하여 다른 프레임워크로 동일한 동작을 재구현해야 하므로 자연어 해석 오류가 배제된다. 이 논문에서는 React 구현을 명세로 삼아 Angular 라이브러리로의 포팅 작업을 검사하는 데 사용되었다.