Numerical library fuzzing 괜찮지 않을까? (이원열 교수님) 버전이나 여러가지 동일한 기능을 하는 라이브러리를 대상으로 모든 수를 테스트할 수 없으니까, differential testing을 통해 에러를 탐지하는 거 어떠신지?
라이브러리마다 ulp가 다를 수 있고 허용하는 오차가 다를 수 있음.
라이브러리 버전이 바뀌었을 때 differential testing을 사용해서 버그로 추정된 입력이 이전 버그를 수정한 거라면? → 패치 노트를 사용해서 LLM으로 제외
Numerical library fuzzing