Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
A11YRepair: 지식 강화형 분할 정복(Divide-and-Conquer) 수정을 통한 웹 접근성 장벽 해소
웹 접근성(A11Y) 문제를 해결하기 위해 LLM 기반의 분할 정복(Divide-and-Conquer) 프레임워크인 A11YRepair를 제안합니다. WCAG 지식을 통합하여 다중 결함을 효율적으로 수정하며, 실제 오픈 소스 프로젝트에 적용되어 그 성능을 입증했습니다.
6월 23일0
arXiv논문
Holmes: 산업 규모의 혼합 언어 모바일 크래시를 위한 멀티모달 에이전트 기반 진단
Holmes는 대규모 혼합 언어 모바일 환경의 크래시 진단을 위해 멀티모달 런타임 신호를 활용하는 멀티 에이전트 시스템입니다. 계층적 아키텍처를 통해 복잡한 코드베이스 내 근본 원인을 자동 분석하며, 실제 데이터 적용 결과 디버깅 시간을 98% 이상 단축했습니다.
6월 23일0
arXiv논문
중간 표현(Intermediate Representation)을 통한 실제 바이너리의 교차 플랫폼 소프트웨어 버스마킹 (Software
본 논문은 Ghidra P-code를 중간 표현(IR)으로 활용하여 서로 다른 플랫폼 간의 소프트웨어 버스마킹 성능을 평가합니다. 실험 결과, ISA와 무관하게 높은 일관성을 입증했으며 Windows 바이너리에서의 희석 효과를 식별했습니다.
6월 23일0
arXiv논문
주행 영상에서 시뮬레이션 가능한 시나리오로
주행 영상에서 시뮬레이션 가능한 시나리오를 자동으로 생성하는 새로운 프레임워크 D-V2S를 소개합니다. VLM을 통해 도로 상황을 분석하고 LLM을 통해 실행 가능한 시나리오로 변환하여 자율주행 안전성 평가를 돕습니다.
6월 23일0
arXiv논문
CFAgentBench: 자율 건설-금융 에이전트를 위한 재현 가능한 환경 및 벤치마크
자율 건설-금융 에이전트의 성능을 평가하기 위한 재현 가능한 벤치마크인 CFAgentBench를 소개합니다. 실제 소프트웨어 스택을 모사한 실행 가능한 환경을 통해 에이전트의 기능적 정확성을 엄격하게 검증합니다.
6월 23일0
arXiv논문
Text2DSL: LLM 기반 도메인 특화 언어 (DSL) 코드 생성
자연어 설명을 통해 도메인 특화 언어(DSL) 코드를 자동 생성하는 Text2DSL 프레임워크와 PolkitBench 데이터셋을 제안합니다. AST 기반 파이프라인과 구조화된 컨텍스트 주입을 통해 LLM의 DSL 생성 성능을 획기적으로 향상시킬 수 있음을 입증했습니다.
6월 23일0
arXiv논문
CodeTeam: 저장소 수준의 코드 생성을 위한 LLM 기반 멀티 에이전트 프레임워크
CodeTeam은 자연어 요구사항으로부터 전체 소프트웨어 저장소를 구축하는 LLM 기반 멀티 에이전트 프레임워크입니다. 계획, 의사 결정, 구현 단계를 분리하여 파일 간 인터페이스와 의존성을 관리하며, 기존 모델 대비 높은 코드 생성 성능과 테스트 통과율을 입증했습니다.
6월 23일0
arXiv논문
TraceView: 에이전트 기반 프로그램 수정 궤적의 인터랙티브 시각화
LLM 기반 자동 프로그램 수정(APR) 에이전트의 실행 과정을 시각화하는 인터랙티브 도구 TraceView를 소개합니다. 에이전트의 추론, 행동, 결과 궤적을 그래프 형태로 렌더링하여 수정 실패 원인을 진단하고 분석할 수 있도록 지원합니다.
6월 23일0
arXiv논문
전환기의 불량 분석: 첨단 패키징 및 이종 집적(Heterogeneous Integration)에서의 과제, 우선순위 및 표준화 요구사항에
이종 집적, 칩렛, 하이브리드 본딩 등 첨단 패키징 기술 도입에 따른 불량 분석(FA)의 변화와 과제를 다룹니다. 설문조사를 통해 하이브리드 본딩의 분석 난이도와 고해상도 비파괴 이미징의 중요성, 데이터 표준화의 필요성을 확인했습니다.
6월 23일0
arXiv논문
StableShots: 양자 회로 실행을 위한 온라인 샷 중단 (Online Shot Stopping) 기법
양자 회로 실행 시 고정된 샷 예산 대신, 누적 분포의 변동 거리를 모니터링하여 최적의 시점에 실행을 중단하는 StableShots 기법을 제안합니다. 실험 결과, 기존 고정 샷 방식보다 효율적으로 목표 정확도에 도달함을 입증했습니다.
6월 23일0
arXiv논문
코드-문서 등가성을 통한 자연어 중심 소프트웨어 공학
본 논문은 코드와 문서 사이의 정확성을 측정하는 '문서-코드 등가성' 개념을 제안합니다. Documentary라는 새로운 접근 방식을 통해 코드에 등가적인 문서를 자동 생성하며, 이를 통해 LLM의 코드 이해 및 편집 성능을 크게 향상시킬 수 있음을 입증했습니다.
6월 23일0
arXiv논문
Revelio: 저장소 규모의 코드베이스를 위한 비용 효율적인 에이전트 기반 메모리 안전 취약점 탐지
Revelio는 저장소 규모의 코드베이스에서 메모리 안전 취약점을 탐지하는 비용 효율적인 에이전트 기반 프레임워크입니다. 결정론적 새니타이저를 통해 환각 문제를 해결하며, 저렴한 LLM과 정적 분석을 결합하여 높은 신뢰성과 확장성을 제공합니다.
6월 23일0
arXiv논문
코드 스타일로메트리(Code Stylometry)를 은폐하기 위한 대규모 언어 모델(LLM)의 활용: GPT-3.5와 GPT-4의 비교 연구
GPT-3.5와 GPT-4를 활용하여 프로그래머의 고유한 코드 스타일을 은폐하는 연구를 다룹니다. 프롬프트 엔지니어링 전략에 따른 스타일 은폐 효과와 코드 무결성 유지의 어려움을 분석했습니다.
6월 23일0
arXiv논문
LLM 에이전트를 위한 가설 기반 기술 최적화 (Hypothesis-Driven Skill Optimization)
LLM 에이전트의 외부 기술(External skills)을 안전하고 효과적으로 업데이트하기 위한 가설 기반 기술 최적화(HDSO) 프레임워크를 제안합니다. 학습이 필요 없는(train-free) 방식으로, 검증 가능한 가설을 통해 유용한 기술만을 선별하여 에이전트의 성능을 향상시킵니다.
6월 23일0
arXiv논문
형식 방법론 가이드 기반의 바이브 코딩 (Vibe Coding): 모델 주도 공학 (MDE)을 통한 AI 생성 안전 필수 소프트웨어의 검증
LLM이 생성한 코드를 안전 필수 시스템(safety-critical systems)에 적용하기 위해 모델 주도 공학(MDE)과 형식 검증을 결합한 Forge 파이프라인을 제안합니다. 이 시스템은 생성된 코드를 다양한 형식적 산출물로 변환하고 검증하여, 오류 발생 시 구조화된 프롬프트를 통해 코드를 자동으로 수정합니다.
6월 23일0
arXiv논문
건축 규정의 자동 코드 준수 (ACC)를 개선하기 위한 강화학습 (Reinforcement Learning)
건축 규정 자동 준수(ACC)를 위해 LLM의 환각 현상을 줄이는 2단계 프레임워크 P4IR을 제안합니다. SFT로 도메인 지식을 주입한 후 GRPO를 통해 코드 스켈레톤의 정확도를 높여, 기존 선도 모델들보다 뛰어난 성능을 입증했습니다.
6월 23일0
arXiv논문
잔류 권한: 코딩 에이전트를 위한 취소 가능한 리소스 및 효과 역량
코딩 에이전트가 작업 종료 후에도 불필요한 권한을 유지하는 '잔류 권한' 문제를 해결하기 위한 PORTICO 프레임워크를 소개합니다. PORTICO는 태스크 계약을 기반으로 권한을 동적으로 부여하고 종료 시 즉시 회수하여 보안 사고를 방지합니다.
6월 23일0
arXiv논문
모두 녹색이지만, 여전히 고장 난 상태: LLM 통합 및 멀티 마켓 웹 애플리케이션으로부터 얻은 실시간 흐름 검증(Real-Flow
LLM, 다국어 지원, 외부 데이터가 결합된 복잡한 웹 애플리케이션에서 기존 자동화 테스트가 놓치는 결함의 원인을 분석합니다. 단위 테스트가 감지하지 못하는 네 가지 주요 경계(seam)를 정의하고 이를 검증하기 위한 프레임워크를 제안합니다.
6월 23일0
arXiv논문
쌍별 모듈러 스멜(Pairwise Modular Smells)의 특성은 무엇인가?
본 연구는 아키텍처 결함을 식별하는 새로운 개념인 '쌍별 모듈러 스멜(PairSmell)'의 특성을 분석합니다. 19가지 쌍 특성을 활용해 부적절하게 분리되거나 배치된 엔티티 쌍을 예측하는 머신러닝 모델을 제안하며, 기존 베이스라인 대비 높은 성능 향상을 입증했습니다.
6월 23일0
arXiv논문
WebCQ: 확장 가능한 웹 GUI 테스트를 위한 협력적 다중 에이전트 심층 강화학습 (Deep Reinforcement Learning)
WebCQ는 대규모 웹 GUI 테스트의 확장성 문제를 해결하기 위해 제안된 다중 에이전트 강화학습(MARL) 기반의 새로운 접근 방식입니다. QTRAN과 경량화된 동기화 메커니즘을 통합하여 비동기적 웹 환경에서도 효율적인 탐색과 결함 발견이 가능함을 입증했습니다.
6월 23일0