Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
명세 기반 개발 벤치마크: 보안 지식 전이 (Specification-Driven Development Benchmark: Security
AI 지원 명세 기반 개발 시 발생하는 보안 취약점 문제를 해결하기 위해 다층 보안 모델과 보안 지식 전이 방법을 제안하는 연구입니다. 실험 결과, 제안된 모델을 적용했을 때 보안 실패 사례가 유의미하게 감소함을 확인했습니다.
6월 2일0
arXiv논문
복잡한 상호작용 웹페이지의 코드 생성을 위한 멀티모달 LLM 벤치마킹
기존 벤치마크가 간과한 웹페이지의 복잡한 상호작용 동작을 평가하기 위해 새로운 벤치마크인 WebIGBench를 제안합니다. 시각적 충실도를 넘어 상호작용 일관성을 측정하며, MLLM의 프론트엔드 코드 생성 능력을 정밀하게 평가합니다.
6월 2일0
arXiv논문
AI-PROPELLER: AlphaEvolve를 이용한 창고 규모의 절차 간 코드 레이아웃 최적화
AI-PROPELLER은 Magellan 에이전트 워크플로를 활용하여 절차 간(interprocedural) 코드 레이아웃을 최적화하는 기술입니다. 실제 하드웨어 성능 카운터를 보상 신호로 사용하는 진화 루프를 통해 대규모 애플리케이션에서 유의미한 성능 향상을 입증했습니다.
6월 2일0
arXiv논문
생성 아키텍처가 멀티 에이전트 LLM 시스템의 코드 복잡도에 미치는 영향: HumanEval에 대한 쌍체 연구
멀티 에이전트 LLM 시스템의 아키텍처가 생성된 코드의 구조적 복잡도에 미치는 영향을 HumanEval 벤치마크를 통해 분석한 연구입니다. 분석가-코더 분리와 테스터 도입이 코드 복잡도를 높이는 반면, 디버거는 복잡도를 낮추는 효과가 있음을 밝혔습니다.
6월 2일0
arXiv논문
인간이 작성한 코드와 LLM 생성 코드의 보안성을 비교하는 방법
인간과 LLM이 생성한 코드의 보안성을 객관적으로 비교하기 위한 자동화된 연구 프레임워크를 제안합니다. 이 프레임워크는 인간 단독, LLM 단독, 하이브리드 방식의 실험을 지원하며 정적 및 동적 분석을 통해 보안 품질을 측정합니다.
6월 2일0
arXiv논문
GitHub Copilot과 개발자 생산성: 관찰적 용량-반응 분석
Microsoft 엔지니어 16,223명의 데이터를 활용하여 GitHub Copilot이 실제 개발 생산성에 미치는 영향을 분석한 연구입니다. 고정 효과 모델을 통해 개인차와 작업량 변수를 통제한 결과, Copilot 사용 시 PR 완료율이 최대 40.5% 증가함을 입증했습니다.
6월 2일0
arXiv논문
실무에서의 전달 일관성 측정: 멀티 플랫폼 릴리스 환경에서의 DORA 확장
기존 DORA 프레임워크의 한계를 극복하기 위해 배포 리듬의 규칙성을 측정하는 '전달 일관성(DC)' 지표를 제안합니다. 120주간의 데이터를 통해 DC와 Delivery Health Matrix를 결합하여 엔지니어링 팀의 성과를 더욱 정밀하게 진단할 수 있음을 입증했습니다.
6월 2일0
arXiv논문
Sakura: 자연어 테스트 설명으로부터 복잡한 테스트를 생성하는 접근 방식
Sakura는 자연어 설명을 기반으로 복잡한 테스트 케이스를 생성하는 최초의 에이전트 기반 프레임워크입니다. 멀티 에이전트 시스템을 통해 정적 분석과 코드 합성을 수행하며, 기존 도구 대비 높은 컴파일 가능성과 테스트 커버리지를 달성했습니다.
6월 2일0
arXiv논문
안전한 기술이 충돌할 때: 에이전트 기술 생태계에서의 조합적 위험 측정
개별적으로는 안전한 LLM 에이전트 기술들이 조합될 때 발생하는 '조합적 위험'을 측정하는 SkillReact 프레임워크를 제안합니다. 연구 결과, 기술별 스캐닝으로는 탐지할 수 없는 약 14,000개의 실제 위험 사례가 존재함을 확인했습니다.
6월 2일0
arXiv논문
FVSpec: Lean 챌린지로서의 실제 환경 속 속성 기반 테스트
실제 Python 저장소의 속성 기반 테스트(PBT)를 Lean 4 명세로 자동 번역하여 AI 모델과 에이전트의 형식 소프트웨어 검증 능력을 평가하는 FVSpec 벤치마크를 제안합니다. 3-에이전트 LLM 파이프라인을 통해 복잡한 논리적 속성을 번역하고 증명 생성을 위한 베이스라인을 제공합니다.
6월 2일0
arXiv논문
결정론적 프로그래밍 작업에서 대규모 언어 모델(LLM)의 정확도, 안정성 및 반복 실행 신뢰성
본 연구는 프로그래밍 작업에서 LLM의 정확도와 반복 실행 시의 안정성 사이의 관계를 분석합니다. 단일 실행 정확도가 실제 배포 환경에서 요구되는 재시도 없는 커버리지를 과장할 수 있음을 지적하며, 새로운 평가 프로토콜을 제안합니다.
6월 2일0
arXiv논문
다중 이해관계자 플랫폼을 위한 거버넌스 인지 소프트웨어 아키텍처
다중 이해관계자 플랫폼(MSP)에서 발생하는 이해관계 간 갈등을 해결하기 위해 거버넌스 원칙과 소프트웨어 아키텍처 결정을 연결하는 새로운 프레임워크를 제안합니다. 암묵적인 거버넌스 결정을 명시적인 설계 선택지로 변환하여 배포 전 논의 가능하게 만드는 것이 핵심입니다.
6월 1일0
arXiv논문
검증 피드백 기반 강화학습을 통한 코드 생성용 소규모 언어 모델 개선
검증 가능한 보상을 활용한 강화학습(RLVR)을 통해 소규모 언어 모델의 코드 생성 성능을 개선하는 연구입니다. Qwen3-0.6B와 Llama3.2-1B 모델을 대상으로 MBPP 벤치마크에서 실험을 진행하여 보상 설계의 중요성을 입증했습니다.
6월 1일0
arXiv논문
CodeGolf Bench: 대규모 언어 모델(LLM)의 간결한 코드 생성 능력을 평가하기 위한 다국어 벤치마크
60개 프로그래밍 언어를 대상으로 LLM의 간결한 코드 생성 능력을 평가하는 CodeGolf Bench를 소개합니다. 기존 벤치마크와 달리 실시간 인간 성능 기준선을 제공하며, 추론 모델이 비추론 모델보다 코드 효율성 최적화에서 우수한 성능을 보임을 입증했습니다.
6월 1일0
arXiv논문
애자일(Agile) 팀 내 신경다양성: 장애물과 포용 장벽
애자일 소프트웨어 개발 팀 내 신경다양성(Neurodiversity) 포용을 방해하는 조직적 장벽을 탐구한 연구입니다. 웹 콘텐츠 분석과 전문가 인터뷰를 통해 경직된 애자일 관행과 일률적인 접근 방식이 신경다양인 개발자의 참여를 저해함을 밝혀냈습니다.
6월 1일4
arXiv논문
소프트웨어 역공학 AI 에이전트에 대한 프롬프트 주입 공격(Prompt Injection Attacks)의 탐지 및 난독화 조사
에이전트 기반 소프트웨어 역공학 시스템을 대상으로 하는 프롬프트 주입 공격의 취약성을 분석한 연구입니다. 디컴파일러 출력물 내 공격 문자열 탐지 전략과 공격 난독화 및 이에 대한 방어 방법을 제안합니다.
6월 1일0
arXiv논문
FASR: STPA에서의 불안전한 제어 동작 자동 식별
STPA 위험 분석 과정에서 발생하는 수동 작업의 한계를 극복하기 위해 제안된 FASR 도구에 관한 연구입니다. 모델 기반 공학 및 형식 기법을 활용하여 불안전한 제어 동작(UCAs)을 자동으로 식별하는 방안을 제시합니다.
6월 1일0
arXiv논문
강화학습 (RL) 및 재귀적 추론 (Recursive Inference)을 통한 형식 검증 (Formal Verification) 자동화
본 논문은 강화학습(RLVR)과 검증기 유도 추론을 통해 LLM의 형식 검증 자동화 성능을 개선하는 방법을 연구합니다. Dafny와 Lean을 활용하여 검증 가능한 보상과 구조화된 탐색 스캐폴드를 제안하며, 실험을 통해 검증 통과율을 유의미하게 향상시켰습니다.
6월 1일0
arXiv논문
LLM이 코드를 작성할 때 무엇이 망가지는가? 에이전트형 코드 어시스턴트의 운영 안전성 실패 특성 분석
자율 코딩 에이전트의 운영 안전성 실패 특성을 분석한 실증적 연구입니다. 6만여 편의 논문과 547개의 실제 GitHub 이슈를 분석하여, 기존 벤치마크가 놓치고 있는 33가지 리스크 유형과 분류 체계를 제시합니다.
6월 1일0
arXiv논문
LLM 기반 전력 시스템 코드 생성을 위한 지식 경계 탐색 및 수요 유도형 개입
전력 시스템 코드 생성 시 발생하는 API 지식 경계 오류를 해결하기 위한 연구를 소개합니다. PowerCodeBench 벤치마크와 경계 인식 개입 기술을 통해 오픈 웨이트 모델의 정확도를 대폭 향상시켰습니다.
6월 1일0