Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
CEO-Bench: 에이전트가 장기적인 게임을 수행할 수 있는가?
에이전트의 장기적 목표 수행 능력을 평가하기 위한 새로운 벤치마크인 CEO-Bench를 소개합니다. 500일간의 가상 스타트업 운영 시뮬레이션을 통해 에이전트의 불확실성 대응 및 복합적 의사결정 능력을 측정합니다.
6월 18일0
arXiv논문
Code-Augur: 명세 추론을 통한 에이전트 기반 취약점 탐지
Code-Augur는 에이전트의 암묵적 가정을 보안 명세로 명시하고 런타임 반증을 통해 이를 개선하는 새로운 패러다임을 제안합니다. 가이드형 퍼저를 활용해 에이전트의 추론을 검증하며, 오픈 소스 프로젝트에서 22개의 새로운 취약점을 발견하는 성과를 거두었습니다.
6월 18일0
arXiv논문
SWE-Future: 미래 지향적 소프트웨어 엔지니어링 에이전트를 위한 예측 조건부 데이터 합성
SWE-Future는 코딩 에이전트의 벤치마크 오염 문제를 해결하기 위해 미래의 소프트웨어 엔지니어링 태스크를 예측하고 합성하는 새로운 방법론을 제안합니다. 저장소의 과거 데이터를 기반으로 미래의 기능 구현, 버그 수정, 리팩터링 작업을 예측하여 현실적인 합성 데이터를 생성합니다.
6월 18일0
arXiv논문
소프트웨어 산출물 전반에 걸친 의미론적 시딩 및 그래프 전파 기반 영향 분석을 향하여: 비전
의미론적 유사성과 구조적 의존성을 결합하여 소프트웨어 산출물의 변경 영향 분석(CIA)을 수행하는 새로운 연구를 제안합니다. 별도의 학습 없이 이종 산출물 그래프를 활용해 텍스트 유사도와 그래프 전파를 융합함으로써 기존 도구의 사각지대를 해결합니다.
6월 18일0
arXiv논문
CAPRA: 멀티 에이전트 LLM 시스템을 통한 소프트웨어 아키텍처 결과물 피드백 확장
CAPRA는 멀티 에이전트 LLM 시스템을 활용하여 소프트웨어 아키텍처 결과물을 자동 평가하고 피드백을 생성하는 연구를 제시합니다. gpt-4o와 멀티모달 추출 기술을 사용하여 텍txt와 UML 다이어그램을 분석하며, 환각을 줄이기 위한 결정론적 증거 앵커링 기법을 도입했습니다.
6월 18일0
arXiv논문
변동성은 어디로 갔는가? 바이브 코딩(Vibe Coding)에서 재생을 통한 제품 라인(Product Lines)으로
바이브 코딩(Vibe Coding) 환경에서 LLM이 생성하는 코드의 변동성 문제를 분석하고, 이를 해결하기 위한 '재생에 의한 변동성(VbR)' 개념을 제안합니다. LLM을 유도 엔진으로 활용하여 선언적 명세로부터 맞춤형 바이너리를 생성하는 새로운 소프트웨어 제품 라인(SPL) 접근 방식을 다룹니다.
6월 18일0
arXiv논문
AGENTS.md 파일의 설정 스멜(Configuration Smells): 코딩 에이전트 설정 시 발생하는 흔한 실수들
코딩 에이전트의 설정 파일(AGENTS.md, CLAUDE.md)에서 발생하는 일반적인 문제점인 '설정 스멜(Configuration Smells)'을 정의하고 분석한 연구입니다. 리포지토리 마이닝을 통해 린트 누출, 컨텍스트 비대화 등 6가지 주요 스멜을 식별하고 자동 탐지 휴리스틱을 제안했습니다.
6월 17일0
arXiv논문
연기만 자욱할 뿐, 경보는 없다: 에이전트가 작성한 테스트 코드 내 오라클 신호(Oracle Signals)
AI 코딩 에이전트가 작성한 테스트 코드의 검증 강도를 분석한 연구입니다. 조사 결과 에이전트가 작성한 테스트 패치의 80.2%가 명시적인 검증 로직(Oracle Signals)을 결여하고 있어, 테스트 파일 수만으로 품질을 판단하는 것은 위험함을 경고합니다.
6월 17일0
arXiv논문
LogCopilot: 대규모 언어 모델(LLM)을 통한 로그 집계 분석 자동화
LogCopilot은 LLM을 활용하여 복잡한 로그 집계 분석을 자동화하는 프레임워크를 제안합니다. 계층적 지식 베이스와 도구 호출을 통해 자연어 지침으로부터 LogQL 쿼리를 생성하며, 기존 방식보다 높은 정확도를 보여줍니다.
6월 17일0
arXiv논문
소프트웨어 위임 계약: AI 코딩 에이전트 작업의 검토 가능성 측정
AI 코딩 에이전트에게 명시적인 소프트웨어 위임 계약을 제공했을 때의 효과를 분석한 연구입니다. 실험 결과, 계약은 작업의 객관적 정확성을 높이지는 않았으나, 검토자의 모호성을 줄이고 증거 충분성을 높여 검토 가능성을 크게 개선했습니다.
6월 17일0
arXiv논문
대규모 자동차 소프트웨어 요구사항을 위한 클러스터 인지형 이중 레벨 테스트 명세 생성
대규모 자동차 소프트웨어 요구사항을 처리하기 위해 '클러스터 후 요약(Cluster-then-Summarize)' 파이프라인을 제안하는 연구입니다. UMAP과 HDBSCAN을 활용해 요구사항을 그룹화하고, 멀티 레벨 맵리듀스 방식으로 테스트 명세를 생성하여 컨텍스트 제한 문제를 해결합니다.
6월 17일0
arXiv논문
소프트웨어 벤치마킹을 위한 올바른 선택: 상태 기반 환경에서의 일관된 결정
상태 기반 메커니즘이 도입된 현대 컴퓨팅 환경에서 소프트웨어 벤치마킹의 편향 문제를 다룹니다. 절대적 측정치 대신 성능 차이에 집중하여 가장 빠른 프로그램을 식별하는 새로운 실험 설계 방법론을 제안합니다.
6월 17일0
arXiv논문
신뢰 인지형 멀티 에이전트 추적성: 일관된 소프트웨어 산출물 관리를 위한 신뢰도 보정 지식 그래프 (Confidence-Calibrated
멀티 에이전트 AI 시스템의 소프트웨어 엔지니어링 자동화 과정에서 발생하는 오류 전파 문제를 해결하기 위한 신뢰 인지형 프레임워크를 제안합니다. 공유 지식 그래프와 신뢰도 보정 메커니즘을 통해 에이전트 간의 일관성을 유지하고 소프트웨어 산출물의 추적성을 보장합니다.
6월 17일0
arXiv논문
요구사항 공학 (Requirements Engineering)을 통한 개인정보 보호 강화 기술 (PETs) 도입 지원
개인정보 보호 강화 기술(PETs)의 실제 도입을 가로막는 기술적 복잡성과 교육 부족 문제를 해결하기 위해 요구사항 공학(RE) 관점의 접근법을 제안합니다. 공학, 법률, 비즈니스적 관점을 체계적으로 통합하여 이해관계자 간의 조율을 돕고 PETs 도입을 촉진하는 방안을 다룹니다.
6월 17일0
arXiv논문
SoK: AI 증강 바이너리 리버싱 (AI-Augmented Binary Reversing)
본 논문은 AI를 활용한 바이너리 리버싱 분야의 연구를 체계화한 최초의 SoK(Systematization of Knowledge) 연구입니다. 2015년 이후 144편의 논문을 분석하여 통합된 분류 체계를 제시하고, LLM과 에이전트형 AI의 역할을 정의합니다.
6월 17일0
arXiv논문
교육 분야에서의 LLM-as-Judge: 커리큘럼에 기반한 채점 파이프라인
교육 분야의 고부담 시험 대비를 위해 커리큘럼 산출물에 기반한 LLM-as-Judge 채점 파이프라인을 제안합니다. 이 시스템은 공인된 가이드라인과 루브릭을 활용하여 LLM의 판단을 체계적으로 지원하며, 인간 튜터 수준의 일관성과 투명성을 제공합니다.
6월 17일0
arXiv논문
OmniDroneX: LLM 지원 통합 Drone-as-a-Service 생태계
OmniDroneX는 LLM을 활용하여 드론을 동적으로 구성 가능한 서비스 엔티티로 전환하는 통합 Drone-as-a-Service 생태계를 제안합니다. 물리적 프리미티브와 고수준 미션 의도를 연결하여 자동화된 서비스 구성 및 자연어 기반 미션 명세를 지원합니다.
6월 17일0
arXiv논문
반복적인 피드백 루프를 통한 LLM 코드 수정 능력의 해제
본 연구는 LLM이 실행 피드백을 통해 코드를 반복적으로 수정하는 능력을 체계적으로 조사합니다. 컴파일러 에러와 테스트 케이스 피드백을 활용한 프레임워크를 통해 추론 모델과 비추론 모델의 성능 차이를 분석합니다.
6월 17일0
arXiv논문
제목-초록 스크리닝에서의 LLM 이해: 불일치에서 권장 사항까지
체계적 문헌고찰(SRs)의 제목-초록 스크리닝 과정에서 LLM과 인간 전문가 간의 불일치 원인을 질적으로 분석한 연구입니다. 용어의 모호성 및 잘못된 주제 추론 등 실패 원인을 규명하고, 신뢰성 향상을 위한 실행 가능한 권장 사항을 제안합니다.
6월 17일0
arXiv논문
PracRepair: 인간의 디버깅 관행에서 영감을 얻은 LLM 기반 자동 프로그램 수정 (Automated Program Repair)
PracRepair는 인간의 디버깅 방식을 모방하여 LLM 기반의 자동 프로그램 수정(APR) 성능을 높인 프레임워크입니다. 정적·동적 컨텍스트를 온디맨드로 구축하고 질문 기반의 실패 진단을 통해 패치를 반복적으로 개선합니다. 실험 결과 Defects4J 및 실제 버그 환경에서 기존 모델들을 뛰어넘는 성능을 입증했습니다.
6월 17일0