Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 829건필터 해제
arXiv논문
패치에서 궤적으로: 소프트웨어 엔지니어링 (SWE) 에이전트를 위한 특권적 프로세스 감독
SWE 에이전트의 학습 데이터 품질을 높이기 위해 개발자의 패치를 활용하는 P2T(Patches-to-Trajectories) 방법론을 제안합니다. 기존 SFT 방식의 결함을 해결하기 위해 단계별 효과성과 궤적 길이를 최적화하여 고품질의 추론 궤적을 생성합니다.
5월 22일0
arXiv논문
결정론적 vs. 확률론적 요약: 디자인 패턴 중심 Java 코드에서의 경험적 트레이드오프 연구
Java 디자인 패턴 코드 요약 시 결정론적(규칙 기반) 방식과 확률론적(LLM 기반) 방식의 성능을 비교 연구했습니다. 연구 결과, LLM은 풍부한 문맥과 의미론적 정렬에 강점이 있는 반면, 규칙 기반 방식은 간결함과 재현성 측면에서 우수함을 확인했습니다.
5월 22일0
arXiv논문
"Refactoring Runaway": 이슈 해결을 위한 코딩 에이전트의 엉킨 리팩토링 (Tangled Refactorings) 이해 및 완화
코딩 에이전트가 이슈 해결 과정에서 발생하는 '엉킨 리팩토링(Tangled Refactoring)' 현상을 분석한 연구입니다. 에이전트가 인간보다 엉킨 리팩토링을 적게 수행하지만, 컴파일 가능성을 저하시키는 원인이 됨을 밝히고 이를 완화하는 정제 접근 방식을 제안합니다.
5월 22일0
arXiv논문
DSL 가이드 및 LLM 지원 패칭을 통한 TEE 파티셔닝 문제의 자동 복구
TEE 애플리케이션의 잘못된 파티셔닝 문제를 자동으로 복구하는 프레임워크 TEERepair를 제안합니다. DSL을 통해 보안 규칙을 정의하고 LLM을 활용하여 문맥에 맞는 패치를 생성하며, 높은 복구 성공률을 입증했습니다.
5월 22일1
arXiv논문
Astragalus: 프로덕션 네트워크를 위한 자동 설정 복구 (Automatic Configuration Repair)
Astragalus는 네트워크 설정 오류를 해결하기 위해 구문 중심(syntax-driven) 접근 방식을 사용하는 새로운 자동 설정 복구(ACR) 방법론입니다. 기존의 의미론 중심 방식과 달리 기존 코드를 이식하는 방식을 사용하여 복잡한 제약 조건 구축 비용을 줄이고 확장성을 높였습니다.
5월 22일0
arXiv논문
SWE-Mutation: LLM은 소프트웨어 공학에서 신뢰할 수 있는 테스트 스위트를 생성할 수 있는가?
LLM이 생성한 테스트 스위트의 품질을 평가하기 위한 새로운 벤치마크인 SWE-Mutation을 소개합니다. 에이전트 기반 프레임워크를 통해 변이된 솔루션을 생성하여 테스트 스위트의 판별력을 측정하며, 현재 LLM의 성능이 신뢰할 수 있는 테스트 생성에 미치지 못함을 입증합니다.
5월 22일0
arXiv논문
블록체인 애플리케이션의 분산형 배포 및 운영을 위한 아키텍처
본 논문은 블록체인 애플리케이션의 탈중앙화된 배포 및 운영을 위한 새로운 아키텍처를 제안합니다. DAO의 거버넌스 개념과 DevOps 관행을 결합하여, 스마트 계약의 자동화된 테스트와 결정론적 배포를 지원하는 분산형 프레임워크를 제시합니다.
5월 22일1
arXiv논문
모델 해석(Model Interpretation)에서 간과된 베이스라인(Baseline)
기존 모델 해석 방법론들이 베이스라인을 간과하여 발생하는 오류를 지적하고, 이를 해결하기 위한 새로운 해석 원칙을 제안합니다. 그래디언트 기반 방법과 테일러 전개를 통합하여 베이스라인의 중요성을 입증하고, 기여도 오차를 통한 정밀한 품질 평가 방식을 권장합니다.
5월 22일1
arXiv논문
SynAE: 도구 호출 (Tool-Calling) 에이전트 평가를 위한 합성 데이터 품질 측정 프레임워크
도구 호출(Tool-calling) 에이전트 평가를 위해 합성 데이터의 품질을 측정하는 프레임워크인 SynAE를 소개합니다. SynAE는 합성 데이터가 실제 데이터의 특성을 얼마나 잘 복제하는지 타당성, 충실도, 다양성 측면에서 다각도로 평가합니다.
5월 22일0
arXiv논문
HarnessAPI: 통합 스트리밍 API 및 MCP 도구를 위한 스킬 우선 프레임워크
HarnessAPI는 Python 함수를 HTTP 엔드포인트와 MCP 도구로 동시에 배포할 수 있게 해주는 스킬 우선 프레임워크입니다. 단일 소스(Pydantic 스키마)를 통해 스트리밍 API와 에이전트용 도구를 자동 생성하여 코드 중복을 제거합니다.
5월 22일0
arXiv논문
AI가 생성한 Python 리팩터링 Pull Request의 품질 및 보안 신호
AI 에이전트가 생성한 Python 리팩터링 Pull Request의 품질과 보안 영향을 실증적으로 분석한 연구입니다. PyQu, Pylint, Bandit을 활용해 분석한 결과, 사용성은 개선되나 새로운 린트 오류나 보안 취약점이 도입될 위험이 공존함을 확인했습니다.
5월 21일0
arXiv논문
에이전트 기반 모델 검증 (Agentic Model Checking)
본 글은 LLM이 생성한 시스템 코드를 검증하는 어려움을 해결하기 위해 '에이전트 기반 모델 검증(Agentic Model Checking)' 패러다임을 제안합니다. 이 접근 방식은 에이전트가 의미론적 판단을 담당하고, 유계 모델 검증(BMC) 백엔드가 건전성 관련 결정을 수행하도록 분리합니다. 이를 통해 명세 추론, 합성적 검증, 그리고 실제적인 반례 분석까지 포함하는 강력한 코드 검증 프레임워크를 구축했습니다.
5월 21일0
arXiv논문
밀집 보상 (Dense Rewards)을 이용한 코드 생성용 도메인 적응형 강화학습 (Domain-Adaptable Reinforcement
본 논문은 코드 생성 LLM이 도메인 특화 제약 조건과 물리적 환경을 더 잘 이해하도록 돕는 강화학습(RL) 프레임워크를 제안합니다. PPO를 활용하여 구문, 기능적 정확성, 보안 및 시뮬레이터 실행 가능성을 포함하는 밀집 보상(Dense Rewards) 체계를 구축하였으며, 이를 통해 범용 코드 생성 및 로보틱스 분야에서 성능을 크게 향상시켰습니다.
5월 21일0
arXiv논문
빙산의 일각을 넘어: 공동 진화 (Co-evolution)의 관점에서 본 Dockerfile 내 SATD의 이해
본 연구는 Dockerfile 내의 자가 인정 기술 부채(SATD)가 단일 파일에 국한되지 않고 소스 코드 등 다른 소프트웨어 아티팩트와 함께 진화한다는 '공동 진화(Co-evolution)' 관점을 제시합니다. 연구 결과, Dockerfile 내 SATD의 상당 부분이 외부 파일과 결합되어 있으며, 이러한 결합된 SATD는 상환 속도가 더 빠르지만 누락된 기능 관련 부채는 더 오래 지속되는 특성을 보입니다.
5월 21일0
arXiv논문
양자 수송 코드의 RSE 및 그 영향
본 논문은 양자 수송 코드인 libNEGF를 대상으로 진행한 2년간의 연구 소프트웨어 엔지니어링(RSE) 사례를 다룹니다. CI, 자동화된 테스트, 지속적 벤치마킹 등의 품질 보증 관행을 통해 메모리 오류와 수학적 모델 오류를 발견한 과정을 설명합니다. 또한, HPC 시스템 변화에 따른 성능 퇴보를 탐지하는 방법과 과학 계산 코드에서 발생할 수 있는 결함의 위험성을 강조합니다.
5월 21일0
arXiv논문
비기술적 이해관계자를 위한 접근 가능한 보고서로의 개인정보 보호 산출물 변환
Industry 5.0의 인간-기계 협업 환경에서 발생하는 개인정보 보호 문제를 해결하기 위해, 기술적 산출물을 비기술적 이해관계자가 이해할 수 있는 보고서로 변환하는 개념적 프레임워크를 제안합니다. 이 프레임워크는 LLM을 활용하여 복잡한 개인정보 위협과 완화 전략을 접근 가능한 정보로 변환함으로써 이해관계자의 신뢰를 구축하고 의사결정을 지원합니다.
5월 21일0
arXiv논문
소프트웨어 제품 라인 엔지니어링 (Software Product Line Engineering): 도입, 도구 및 AI 시대의 과제
본 논문은 소프트웨어 제품 라인 엔지니어링(SPLE)의 기초, 생명주기, 도입 모델 및 도구들을 종합적으로 검토합니다. BAPO, FEF 등 주요 모델을 비교 분석하며, 도메인 엔지니어링에서 AI 지원 가변성 관리로 이어지는 연구의 진화 과정을 다룹니다. 또한 AI 시대의 SPLE 도입을 위한 과제와 향후 연구 방향을 제시합니다.
5월 21일0
arXiv논문
기하학적 구조를 이용한 Navmesh 검증: 우선순위 탐색을 활용한 복셀 기반 분석
본 논문은 게임 내 Navmesh와 실제 지형 기하학 간의 불일치를 탐지하기 위해 복셀 기반의 기하학적 검증 프레임워크를 제안합니다. 복셀 공간에 대한 우선순위 탐색 문제로 검증 과정을 공식화하고, 강화학습을 활용해 불일치 가능성이 높은 영역을 효율적으로 샘플링합니다. 이 방식은 기존의 탐색 에이전트 방식보다 적은 탐색 노력으로도 높은 결함 탐지 범위를 유지하며, 다양한 게임 엔진의 QA 파이프라인에 통합이 가능합니다.
5월 21일0
arXiv논문
대규모 디지털 라이프스타일 코칭을 위한 프라이버시 설계 기반 적응형 그룹 할당
본 논문은 개인 식별 정보(PII)와 민감한 건강 정보(PHI) 유출 위험을 방지하면서도 사용자에게 최적화된 동료 지원을 제공하는 적응형 그룹 할당 방법론인 PRISM-Coach를 제안합니다. PRISM-Coach는 사용자를 Identity, Operational, Learning, Coaching의 네 가지 제한된 뷰로 분리하고, 통제된 신원 복구 및 프라이버시 제약 컨텍스츄얼 밴딧을 활용하여 개인정보 보호와 높은 수준의 개인화를 동시에 달성합니다. 실제 라이프스타일 코칭 플랫폼에 적용한 결과, 사용자의 일일 체크인 준수율과 참여도가 크게 향상되었으며, 사용자들의 프라이버시 신뢰도 역시 높아졌음을 입증했습니다.
5월 21일0
arXiv논문
ProcBench: LLM 코딩 에이전트의 프로세스 수준 결함 및 제어 보존 평가
ProcBench는 LLM 코딩 에이전트의 최종 결과물뿐만 아니라 실행 과정에서 발생하는 프로세스 수준의 결함을 평가하기 위해 제안된 새로운 벤치마크 프레임워크입니다. 이 프레임워크는 실행 실패를 온톨로지로 구성하고 이질적인 로그를 표준화된 궤적 표현으로 변환하여, 위험 기반 스코어카드를 통해 에이전트의 동작을 진단합니다. 연구 결과, ProcBench는 기존 결과 중심 평가가 놓치기 쉬운 다단계 작업 중의 반복적 실패를 식별하고 진단적 차별성을 제공하는 데 효과적임을 입증했습니다.
5월 21일0