소프트웨어 기능적 버그를 위한 LLM 기반 불변성 테스트 (LLM-Based Invariant Testing for Software

요약

소프트웨어의 기능적 버그를 탐지하기 위해 LLM 기반의 새로운 불변성 테스트 프레임워크인 LISA를 제안합니다. LISA는 API n-gram 피드백을 활용해 API 시퀀스와 프로그램 불변성을 반복 생성하며, 기존 퍼징 방식보다 높은 버그 탐지율과 신뢰도를 제공합니다.

핵심 포인트

• LLM 기반의 새로운 불변성 테스트 프레임워크 LISA 제안
• API n-gram 피드백을 통한 API 시퀀스 및 불변성 반복 생성
• 기존 퍼징 기술 대비 높은 버그 탐지율 및 코드 커버리지 달성
• 개발자 확인을 위한 높은 신뢰도의 버그 후보 보고