Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 829건필터 해제
arXiv논문
GazeBehavior Annotation Toolkit (GBAT): 아동-양육자 상호작용의 1인칭 시점 시선 추적 및 비디오 데이터 자동
아동-양육자 상호작용 연구를 위한 딥러닝 기반 시선 추적 및 비디오 데이터 자동 주석 툴킷인 GBAT를 소개합니다. 비디오 동기화, 시선 대상 반자동 주석, 포즈 및 손 동작 범주화 기능을 통해 데이터 처리 효율성을 높입니다.
5월 25일0
arXiv논문
코드 이해 프록시(Code Comprehension Proxies)의 신뢰성에 대하여
본 논문은 소프트웨어 엔지니어의 코드 이해도를 측정하는 기존 프록시들의 신뢰성을 조사합니다. Delphi 전문가 합의 프로토콜과 학생 대상 연구를 통해, 입출력 질문 및 응답 시간 기반 프록시가 높은 신뢰성을 보임을 입증했습니다.
5월 25일0
arXiv논문
LLM 생성 코드의 보안성: 비교 분석
본 연구는 LLM이 생성한 코드의 보안 취약점을 실증적으로 분석합니다. 7개의 주요 LLM을 대상으로 개발자의 사용 패턴을 모방하여 테스트한 결과, 모든 모델이 심각도가 높은 취약점을 포함한 코드를 생성함을 확인했습니다.
5월 25일0
arXiv논문
에이전트 기반 Kubernetes 운영을 위한 측정 기질: 방법론 및 검색 결합 허위 검증(retrieval-compounding
Kubernetes 운영 에이전트의 성능을 객관적으로 검증하기 위한 새로운 측정 프레임워크인 agent-breakage를 제안합니다. 기존 연구들의 선택 편향과 검증 부재 문제를 지적하며, 결함 주입과 폐쇄 루프 측정을 통해 에이전트의 추론 능력을 정밀하게 평가합니다.
5월 25일0
arXiv논문
에이전트를 밀어붙여라: 장기적 관점의 LLM 에이전트에서 정량적 목표 지속성 측정 및 강제화
장기적 관점의 LLM 에이전트가 목표를 끝까지 완수하는지 측정하는 정량적 목표 지속성(QGP) 개념과 PushBench 벤치마크를 제안합니다. 에이전트가 단순히 작업을 수행하는 것을 넘어, 검증된 결과물을 지속적으로 생성하며 목표를 달성하는 능력을 평가합니다.
5월 25일0
arXiv논문
LLM 코드 스멜 (LLM Code Smells): 분류 체계 및 탐지 접근 방식
LLM이 소프트웨어 시스템에 부적절하게 통합될 때 발생하는 'LLM 코드 스멜'에 대한 분류 체계와 탐지 도구를 제안합니다. 9가지 카탈로그를 정의하고 정적 분석 도구인 SpecDetect4LLM을 통해 대규모 오픈 소스 프로젝트에서 높은 탐지 성능을 입증했습니다.
5월 25일0
arXiv논문
AI 보조 코드 리뷰를 위한 행동 제약으로서의 철학적 성향: 실증 연구
AI 보조 코드 리뷰 시 철학적 성향을 활용하여 에이전트의 행동을 제약하는 새로운 시스템을 제안합니다. 특정 인식론적 전통을 기반으로 AI가 구조적, 운영적, 논리적 문제를 다르게 분석하도록 유도하여 리뷰의 다양성과 품질을 높이는 연구입니다.
5월 25일0
arXiv논문
AI 코딩 어시스턴트가 소프트웨어 엔지니어링에 미치는 영향: 종단적 연구
AI 코딩 어시스턴트가 소프트웨어 엔지니어의 생산성과 경험에 미치는 영향을 분석한 종단적 연구입니다. 개발 작업이 코드 생성에서 검증 중심으로 이동하며, 생산성은 향상되나 개발자 경험은 악화되는 '생산성-경험 역설'을 발견했습니다.
5월 25일0
arXiv논문
MISRust: MISRA-C++ 코딩 가이드라인을 Rust 프로그래밍 언어로 매핑하기
본 논문은 MISRA-C++ 2023 코딩 가이드라인을 Rust 언어에 체계적으로 매핑하는 MISRust 연구를 소개합니다. Rust의 언어 설계가 기존 안전 규칙을 어떻게 자동으로 충족하는지 분석하고, unsafe Rust 사용 시 필요한 가이드라인을 제안합니다.
5월 25일0
arXiv논문
Insights Generator: LLM 에이전트를 위한 체계적인 코퍼스 수준의 트레이스 진단
LLM 에이전트의 실패를 진단하기 위해 코퍼스 수준의 트레이스를 분석하는 멀티 에이전트 시스템 'Insights Generator(IG)'를 제안합니다. IG는 가설 제안과 테스트를 통해 체계적인 행동 패턴을 자연어로 요약하며, 전문가의 성능을 30.4pp 향상시키는 효과를 입증했습니다.
5월 22일0
arXiv논문
재현 가능한 플래키 테스트(Flaky-Test) 실패 사례 데이터셋
비결정론적인 플래키 테스트(Flaky tests)의 재현 문제를 해결하기 위해 구축된 새로운 데이터셋 ReproFlake를 소개합니다. 이 데이터셋은 재현 가능한 환경, 실패 재현 스크립트, 자동 수정 스크립트 및 실행 로그를 포함하여 연구자들이 플래키 테스트를 효과적으로 탐지하고 디버깅할 수 있도록 지원합니다.
5월 22일0
arXiv논문
에이전트 기반 Pull Request는 왜 병합되거나 거절되는가? 실증적 연구
AI 코딩 에이전트의 Pull Request(PR) 결과가 에이전트의 실제 역량을 정확히 반영하지 못한다는 연구 결과입니다. 거절된 PR의 상당수가 에이전트의 오류가 아닌 워크플로 제약이나 근거 부족 때문임을 밝히며, 상호작용을 고려한 새로운 평가 방식의 필요성을 제안합니다.
5월 22일0
arXiv논문
유창하지만 틀린: LLM 기반 코드 현대화에서의 자기 검토(Self-Review) 실패
LLM을 이용한 레거시 코드 현대화 과정에서 모델이 자신의 출력 결과가 동작을 변경했는지 스스로 검토하는 능력이 부족함을 연구했습니다. 실험 결과, 모델의 성능이나 가격과 상관없이 특정 코드 구조에서 의미론적 오류가 빈번하게 발생하며 자기 검토 기능이 신뢰할 수 없는 안전망임을 확인했습니다.
5월 22일0
arXiv논문
RefusalBench: 생물학 연구 프롬프트에서 거절률이 Frontier LLM의 순위를 잘못 매기는 이유
생물학 연구 프롬프트에서 LLM의 거절 행동을 분석하는 새로운 벤치마크인 RefusalBench를 소개합니다. 기존의 단순 거절률 지표가 모델의 실제 안전 교정 능력을 왜곡할 수 있음을 지적하며, 모델 제공자별 특성과 계층별 판별력을 분석합니다.
5월 22일0
arXiv논문
LLM의 분포 외 (Out-Of-Distribution) 정렬 실패에 대한 모니터링 성능 평가 및 개선
LLM의 분포 외(OOD) 상황에서 발생하는 정렬 실패를 감지하기 위한 새로운 벤치마크인 MOOD를 제안합니다. 연구 결과, 기존 가드 모델은 OOD 상황에서 일반화 성능이 낮으며, OOD 탐지기를 결합할 때 재현율이 크게 향상됨을 입증했습니다.
5월 22일0
arXiv논문
ASSEMBLAGE-DEEPHISTORY: 시간적 범위를 포함한 교차 빌드 바이너리 데이터셋
ASSEMBLAGE-DEEPHISTORY는 시간적 이력, 교차 빌드 다양성, CVE 레이블을 통합한 새로운 바이너리 데이터셋 프레임워크를 제안합니다. 248개 오픈 소스 프로젝트의 73,610개 바이너리를 포함하며, LLM의 바이너리 취약성 추론 능력과 임베딩 클러스터링 성능을 검증합니다.
5월 22일0
arXiv논문
FuzzingBrain V2: 자동화된 취약점 발견 및 재현을 위한 멀티 에이전트 LLM 시스템
FuzzingBrain V2는 멀티 에이전트 LLM을 활용하여 소프트웨어 취약점을 자동으로 탐지하고 재현하는 시스템입니다. 높은 오탐률과 컨텍스트 부족 문제를 해결하기 위해 제어 흐름 기반 추상화와 이중 계층 퍼징 기술을 도입했습니다. AIxCC 2025 데이터셋에서 90%의 탐지율을 기록하며 실제 제로 데이 취약점 발견 능력을 입증했습니다.
5월 22일0
arXiv논문
4가지 원칙 프레임워크를 통한 품질 보증 퍼즈 하네스 생성
LLM 에이전트를 활용하여 C/C++, Java 등 소프트웨어의 퍼즈 하네스(fuzz harnesses)를 자율적으로 생성하고 검증하는 QuartetFuzz 시스템을 제안합니다. 4가지 원칙 프레임워크를 통해 논리적 정확성과 API 준수 등을 체계적으로 보장하며, 실제 프로젝트에서 다수의 CVE를 발견하는 성과를 거두었습니다.
5월 22일0
arXiv논문
LLM 지원 심볼릭 실행 (Symbolic Execution)을 통한 TEE 내 누락된 입력 검증 탐지
SymTEE는 TEE 애플리케이션의 입력 검증 누락 문제를 탐지하기 위한 LLM 지원 심볼릭 실행 프레임워크입니다. AST 분석과 GPT-5를 결합하여 KLEE 호환 하네스를 자동 생성함으로써, 복잡한 환경 설정 없이도 높은 정밀도로 보안 취약점을 찾아냅니다.
5월 22일0
arXiv논문
PITMuS: 소스 레벨 변이 재구성을 통한 자동 버그 데이터셋 생성 도구
PITMuS는 변이 테스트 도구인 PIT의 XML 메타데이터와 디버그 정보를 활용하여 소스 레벨의 버그 데이터셋을 자동으로 생성하는 도구입니다. 기존 벤치마크의 데이터 오염 문제를 해결하기 위해 최신 소스 코드에 제어된 버그를 주입하여 구조화된 데이터셋을 제공합니다.
5월 22일0