Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
수동 테스트 케이스의 자연어 테스트 스멜(Test Smells) 탐지를 위한 Gemini 3의 실증적 연구
수동 테스트 케이스의 품질 저하를 유발하는 '테스트 스멜'을 탐지하기 위해 Gemini 3 Pro Preview의 성능을 실증적으로 연구했습니다. 기존 소형 언어 모델(SLM)보다 뛰어난 탐지 성능과 실행 가능한 설명을 제공함을 확인했습니다.
6월 15일0
arXiv논문
검출기 오류 모델 (DEM)을 위한 준선형 동치성 검사
양자 회로의 오류 메커니즘을 표현하는 검출기 오류 모델(DEM)을 위한 등식 이론과 범주론적 의미론을 제안합니다. DEM 항에 대한 효율적인 재작성 시스템을 통해 준선형 시간 내에 구조적 동치성을 결정할 수 있는 정적 결정 절차를 제공합니다.
6월 15일0
arXiv논문
자동 인슐린 주입 시스템(AID)의 안전한 알고리즘 업데이트를 위한 원칙적 프레임워크
자동 인슐린 주입 시스템(AID)의 소프트웨어 업데이트 시 발생할 수 있는 위험을 방지하기 위한 안전성 평가 프레임워크를 제안합니다. 버그 분류와 임상적 동등성 평가를 결합하여 알고리즘 수정이 환자의 혈당 조절에 미치는 영향을 체계적으로 검증합니다.
6월 15일0
arXiv논문
AI 지원 코드 내 환각 패키지 임포트의 베이지안 보정 탐지
LLM이 생성한 코드 내 환각 패키지 임포트를 탐지하기 위해 베이지안 보정 레이어를 적용한 slopsquat 탐지기를 제안합니다. PyPI 메타데이터를 활용하여 기존 이진 탐지기가 놓치는 의심스러운 패키지를 식별하고, 위험 인식 프리미티브를 통해 CI 게이트에서 활용 가능한 확률적 탐지 성능을 제공합니다.
6월 15일0
arXiv논문
LLM 에이전트는 코드 저장소를 볼 수 있는가
LLM 기반 코딩 에이전트가 코드 저장소의 시각적 구조를 활용할 때의 효용성을 연구한 논문입니다. 텍스트와 시각적 그래프를 결합한 하이브리드 방식이 토큰 비용을 줄이면서도 이슈 해결 정확도를 유지하거나 향상시킴을 입증했습니다.
6월 15일0
arXiv논문
FastContext: 코딩 에이전트를 위한 효율적인 저장소 탐색 모델 학습
코딩 에이전트의 저장소 탐색 효율을 높이기 위해 탐색 전용 서브 에이전트인 FastContext를 제안합니다. 특화된 탐색 모델을 통해 토큰 소비를 최대 60% 절감하고 해결률을 향상시켰습니다.
6월 15일0
arXiv논문
대규모 언어 모델(LLM)을 이용한 학생들의 Java 프로그래밍 오류 시뮬레이션
LLM을 활용하여 학생들의 Java 프로그래밍 오류를 시뮬레이션하는 연구를 소개합니다. 다양한 프롬프팅 전략을 통해 생성된 합성 오류가 실제 학생의 실수와 기능적으로 구별되지 않음을 입증했습니다.
6월 15일0
arXiv논문
대규모 언어 모델(LLM)을 통한 변형 퍼즈 오라클 강화(Metamorphic Fuzz Oracle Enhancement) 조사
LLM을 활용하여 변형 관계(MR) 기반의 퍼즈 오라클을 자동으로 생성하는 MetaFOE 프레임워크를 제안합니다. 기존 크래시 기반 오라클의 한계를 극복하여 에지 커버리지와 버그 탐지 능력을 크게 향상시켰습니다.
6월 15일0
arXiv논문
Android 앱의 난독화 탐지 및 분류를 위한 LLM 평가
Android 앱의 코드 난독화를 탐지하기 위해 LLM의 의미론적 추론 능력을 평가한 연구입니다. 기존의 휴리스틱 방식 대신 다양한 LLM을 활용하여 난독화된 코드를 식별하는 성능을 벤치마크와 실제 데이터를 통해 검증했습니다.
6월 15일0
arXiv논문
워크플로 내의 보안: 취약점 처리를 위한 역할 기반 에이전트 아키텍처 탐색
본 논문은 취약점 분석, 수정, 검증을 포함하는 다단계 보안 워크플로를 위한 역할 기반 에이전트 아키텍처를 제안합니다. Planner, Analyzer, Fixer, Verifier로 구성된 워크플로를 통해 실제 소프트웨어 보안 실무의 간극을 메우고자 합니다.
6월 15일0
arXiv논문
우연한 소프트웨어 에이전트 방지: 인간 코드 엔트로피 감소를 위한 최초의 정준 코드(Canonical Code) 및 프런티어 모델 요구 사항의
프런티어 코딩 모델이 인간 저장소의 불필요한 엔트로피를 학습하는 문제를 해결하기 위해 '정준 코드(Canonical Code)' 개념을 제안합니다. 이는 소프트웨어를 증명 가능한 구조로 재작성하여 에이전트의 학습 효율을 높이고 비용을 절감하는 것을 목표로 합니다.
6월 15일0
arXiv논문
죄송합니다 운전자님, 그건 할 수 없습니다: 자동차 환경 내 LLM의 안전성 평가
자동차 제어 환경에 LLM을 통합할 때 발생하는 안전성 보증 문제를 다룬 연구입니다. 범용 모델을 특정 차량 아키텍처에 적용할 때 발생하는 개념적 과제와 지연 시간, 정렬 문제 등 엔지니어링 제약 사항을 분석합니다.
6월 15일0
arXiv논문
오류가 서사가 될 때: 프로덕션 LLM 에이전트 런타임 내 침묵하는 실패(Silent Failures)에 대한 종단적 분류 체계
LLM 에이전트 런타임에서 발생하는 '침묵하는 실패(Silent Failures)'를 분석하고 5가지 메커니즘 중심의 분류 체계를 제시합니다. 특히 LLM이 오류를 그럴듯한 서사로 변환하여 사용자를 속이는 '실패-그럴듯함(fail-plausible)' 현상을 규명합니다.
6월 15일0
arXiv논문
tap: 이기종 LLM 에이전트 협업을 위한 파일 기반 프로토콜
이기종 LLM 에이전트 간의 협업을 위해 파일 기반 프로토콜인 tap을 제안합니다. 공유 런타임 없이도 Claude와 Codex가 마크다운 파일과 실시간 알림을 통해 코드베이스 상에서 협업할 수 있도록 설계되었습니다.
6월 15일0
arXiv논문
보안 위협과 그것이 블록체인 상호운용성(Blockchain Interoperability)에 미치는 영향: 식별 및 대응 방안
블록체인 상호운용성 시스템에서 발생하는 보안 위협을 체계적으로 분류하고 대응 방안을 제시하는 연구입니다. 핵심 블록체인 공격부터 스마트 컨트랙트 취약점까지 5가지 범주의 위협을 분석하여 안전한 설계 토대를 제공합니다.
6월 15일0
arXiv논문
기계 기여자의 규제: 오픈 소스에서의 거버넌스 및 정책 정렬
AI 에이전트의 오픈 소스 기여가 기존의 인간 중심 거버넌스 체계에 미치는 영향을 분석한 연구입니다. 6개 주요 오픈 소스 조직의 정책을 비교하여 규제 프레임워크와의 격차를 식별하고, 이를 해결하기 위한 계층적 프레임워크를 제안합니다.
6월 15일0
arXiv논문
실행 추적(Execution Traces)과 대규모 언어 모델(LLMs)을 활용한 병렬 프로그래밍에서의 학생 디버깅 역량 강화
병렬 프로그래밍 학습을 돕기 위한 교육용 도구 ParaView와 LLM을 활용한 디버깅 연구를 소개합니다. ParaView의 실행 기록 시각화와 LLM의 버그 분석 능력을 결합하여 학생들의 디버깅 성공률을 높이는 방안을 탐구했습니다.
6월 15일0
arXiv논문
GitHub 템플릿 저장소: 서비스 도메인, 유지보수 및 실무자 가이드라인
5가지 주요 프로그래밍 언어를 대상으로 GitHub 템플릿 저장소의 도메인, 유지보수 특성 및 품질을 분석한 실증 연구입니다. LLM-as-a-judge 전략을 활용해 템플릿을 분류하고, 코드 품질 및 보안 이슈와의 연관성을 탐색하여 실무적인 설계 가이드라인을 제시합니다.
6월 15일0
arXiv논문
소프트웨어 엔지니어에게 머신러닝 가르치기
본 논문은 소프트웨어 엔지니어링(SE) 커리큘럼에 AI/ML 관련 내용을 통합하기 위한 가이드를 제안합니다. SE 실무와 관련된 AI/ML 주제를 정의하고 기존 커리큘럼과의 격차를 분석하여, 교육적 우선순위에 따른 통합 방안을 제시합니다.
6월 15일0
arXiv논문
대규모 언어 모델(LLM)에 의해 포팅된 해양 모델: FESOM2를 통한 경험과 교훈 (Fortran에서 C를 거쳐 C++/Kokkos로)
LLM을 활용하여 대규모 Fortran 해양 모델(FESOM2)을 C 및 C++/Kokkos로 포팅한 연구 사례를 소개합니다. 2단계 번역 방식과 엄격한 검증 절차를 통해 물리적 특성을 보존하면서 GPU 가속 성능을 확보할 수 있음을 입증했습니다.
6월 14일0