Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
Model Context Protocol 서버의 런타임 결함 분류 체계
본 논문은 LLM과 외부 도구 간의 상호작용을 지원하는 MCP 서버의 런타임 결함에 대한 최초의 경험적 분류 체계를 제시합니다. 473개의 GitHub 저장소를 분석하여 11개의 상위 카테고리와 27개의 하위 카테고리로 구성된 체계를 도출했습니다.
6월 5일0
arXiv논문
실무에서의 에이전트 시스템에 대한 인간의 감독: 소프트웨어 에이전트를 사용하는 개발자의 감독 작업, 과제 및 휴리스틱 조사
자율 소프트웨어 에이전트 사용 시 개발자가 수행하는 인간 감독(human oversight)의 실태를 조사한 연구입니다. 17명의 개발자 인터뷰를 통해 사전 제어, 공동 계획, 실시간 모니터링, 사후 검토라는 네 가지 감독 형태를 발견했습니다.
6월 5일0
arXiv논문
의지는 있으나 능력이 부족함: Abliteration을 통한 코드 LLM의 거부(Refusal)와 능력(Capability) 분리
본 논문은 코드 LLM의 안전 정렬로 인한 거부(Refusal) 현상을 해결하기 위해 Abliteration 기법을 제안합니다. 잔차 스트림에서 거부 방향을 직교 투영하여 제거함으로써, 모델의 코드 생성 능력은 유지하면서 특정 취약점 주입 요청에 대한 거부율을 획기적으로 낮출 수 있음을 입증했습니다.
6월 5일0
arXiv논문
DeFi 결합의 경제적 보안을 위한 공식 프레임워크
DeFi 결합성(composability)에서 발생하는 경제적 보안 리스크를 분석하기 위한 새로운 공식 프레임워크를 제안합니다. MEV 비간섭 개념과 로컬 MEV 지표를 통해 스마트 컨트랙트 간 상호작용 시 발생하는 취약점을 체계적으로 측정합니다.
6월 5일0
arXiv논문
STMutants: 산업 자동화 분야의 구조화된 텍스트 프로그램(ST)을 위한 변이 테스트 데이터셋
산업 자동화용 PLC 소프트웨어(ST)의 품질 검증을 위한 변이 테스트 데이터셋인 STMutants를 제안합니다. 108개의 정교한 변이체를 포함하며, LLM을 활용한 변이 탐지 성능 평가를 통해 데이터셋의 유용성을 입증했습니다.
6월 5일0
arXiv논문
ADK Arena: LLM-as-a-Developer를 통한 Agent Development Kit 평가
LLM 코딩 에이전트를 활용해 다양한 에이전트 개발 키트(ADK)의 성능을 자동 평가하는 'ADK Arena' 방법론을 제안합니다. 51개의 Python 프레임워크를 분석한 결과, API 복잡도에 따른 비용 차이와 프레임워크별 성능 편차를 확인했습니다.
6월 5일0
arXiv논문
REStack: Stack Exchange의 역공학(Reverse Engineering) 토론을 활용한 대규모 데이터셋
Stack Exchange의 역공학(RE) 토론을 활용한 대규모 데이터셋인 REStack을 제안합니다. 15년 이상의 데이터를 분석하여 23개의 의미론적 주제를 식별했으며, RE 실무 연구 및 LLM 기반 개발 지원 도구 개발을 위한 자원을 제공합니다.
6월 5일0
arXiv논문
SmellBench: 코드 리팩터링(Refactoring) 작업에 대한 코드 에이전트의 세밀한 평가를 향하여
코드 에이전트의 리팩터링 능력을 평가하기 위한 새로운 벤치마크인 SmellBench를 제안합니다. 기존의 기능적 정확성 중심 평가에서 벗어나 코드의 가독성과 유지보수성을 측정하는 데 집중합니다.
6월 5일0
arXiv논문
소프트웨어 엔지니어링의 종말: AI 에이전트가 소프트웨어 패러다임을 근본적으로 재구조화하는 방식
LLM이 추론 엔진 역할을 수행하며 코드를 동적으로 생성·폐기하는 AI 에이전트 중심의 새로운 소프트웨어 패러다임을 분석합니다. 전통적인 소프트웨어 엔지니어링과 차별화되는 '에이전트 엔지니어링'의 개념을 제안하고 기술적 로드맵을 제시합니다.
6월 5일0
arXiv논문
폐쇄 루프 메모리 최적화를 통한 소프트웨어 엔지니어링 강화
소프트웨어 엔지니어링(SE) 에이전트의 에피소드 중심적 한계를 극복하기 위한 폐쇄 루프 메모리 최적화 프레임워크 MemOp을 제안합니다. MemOp은 메모리 효용성을 작업 불가지론적인 벤치마크로 확립하여 에이전트의 성능과 효율성을 동시에 개선합니다.
6월 5일0
arXiv논문
표면 형식이 중재 결정에 미치는 영향: 코드 혼용(Code-Mixed) 워크플로우 불안정성에 관한 쌍체 연구
코드 혼용(Code-mixed) 입력이 혐오 표현 중재 워크플로우의 안정성에 미치는 영향을 분석한 연구입니다. 영어 기반 임계값을 적용할 경우 코드 혼용 입력에서 결정 반전율이 0.265로 나타나며, 검토 부담과 오탐지율이 크게 증가함을 확인했습니다.
6월 5일0
arXiv논문
미션 엔지니어링 요구사항 수립을 위한 구조적 접근 방식의 개발
고객 요구사항이 불분명한 상황에서 미션 효과성을 체계적으로 정의하기 위한 구조적 접근 방식을 제안합니다. 미션 의도를 다양한 구성 요소로 분해하고 복잡성 요인을 도입하여 요구사항 도출의 근거를 마련합니다.
6월 5일0
arXiv논문
Econstellar: 계산 금융 계량경제학을 위한 오픈 소스 AI 증강 연구 엔진
Econstellar는 금융 계량경제학 연구를 위해 설계된 오픈 소스 AI 증강 엔진입니다. 사용자가 연구 결과를 직접 재실행하고 검증할 수 있도록 AI 어시스턴트와 최적화된 계산 프로세서를 결합하여 제공합니다.
6월 5일0
arXiv논문
MicroSkill 아키텍처: AI 네이티브 코드 생성을 위한 모듈형 기술 기반 프레임워크
MicroSkill 아키텍처는 LLM 기반 코딩 에이전트의 컨텍스트 윈도우 관리 문제를 해결하기 위해 제안된 모듈형 프레임워크입니다. 지식을 원자적 기술 캡슐로 분할하고 동적 라우터를 통해 관련 정보만 선택함으로써 토큰 비용을 절감하고 코드 생성 정확도를 높입니다.
6월 5일0
arXiv논문
인간의 감독과 과부하: AI 지원 소프트웨어 공학의 두 가지 숨겨진 비용적 부담
AI 지원 소프트웨어 공학에서 발생하는 두 가지 주요 비용인 인간의 지속적인 감독 필요성과 엔지니어의 인지적 과부하 문제를 규명합니다. AI 생성물에 대한 검증 작업과 방대한 제안으로 인한 정신적 부담을 강조합니다.
6월 5일0
arXiv논문
LLM이 정확한 TLA+ 명세(Specification)를 작성할 수 있는가? 자연어-to-TLA+ 생성 평가
자연어로부터 TLA+ 명세를 생성하는 LLM의 성능을 체계적으로 평가한 최초의 연구입니다. 30개 모델을 대상으로 실험한 결과, 구문론적 정확도는 높았으나 의미론적 정확도는 매우 낮았으며 모델 크기와 성능이 비례하지 않음을 확인했습니다.
6월 5일0
arXiv논문
Asuka-Bench: 불충분하게 명시된 사용자 의도 및 다회차 정교화 작업에서의 코드 에이전트(Code Agents) 벤치마킹
사용자의 불충분한 의도와 다회차 피드백 과정을 반영한 새로운 코드 에이전트 벤치마크인 Asuka-Bench를 소개합니다. 브라우저 렌더링 기반의 폐쇄 루프 시스템을 통해 에이전트의 정교화 능력을 평가하며, 기존 모델 간의 성능 차이를 명확히 드러냅니다.
6월 5일0
arXiv논문
Rashomon Set을 이용한 변형 테스트: 머신러닝에서의 설명 충실도 (Explanation Faithfulness)
머신러닝 모델의 예측 성능이 비슷하더라도 설명 방식이 달라지는 Rashomon 효과 문제를 다룹니다. 변형 테스트(Metamorphic testing)를 활용하여 정답 레이블 없이도 사후 설명의 충실도를 평가하는 새로운 프레임워크를 제안합니다.
6월 5일0
arXiv논문
TLA-Prover: 선호도 최적화 저차원 적응 (LoRA)을 통한 검증 가능한 TLA+ 명세 합성
TLA-Prover는 분산 시스템 검증을 위한 TLA+ 명세 합성을 위해 개발된 200억 파라미터 규모의 모델입니다. SFT와 GRPO를 결합하여 모델이 스스로 오류를 수정하도록 학습하며, TLC 모델 체커를 직접 보상 신호로 활용합니다.
6월 5일0
arXiv논문
실패한 궤적에서 신뢰할 수 있는 LLM 에이전트로: 하네스 결함의 진단 및 수리
LLM 에이전트의 실패 원인을 진단하고 하네스(harness)를 자동으로 수리하는 프레임워크인 HarnessFix를 제안합니다. 실행 추적을 정규화하여 결함의 원인을 특정 계층으로 귀속시키고, 이를 바탕으로 정밀한 패치를 생성하여 에이전트 성능을 크게 향상시킵니다.
6월 5일0