Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 829건필터 해제
arXiv논문
보편적인 절벽과 설계 지문: LLM 오케스트레이션 하에서의 교차 섹션 결함 탐지
LLM 오케스트레이션 환경에서 에이전트들이 요청을 분할 처리할 때 발생하는 '교차 섹션 결함' 탐지 능력이 급격히 저하되는 현상을 연구했습니다. 모델의 규모 확장이나 추론 능력 강화로도 해결되지 않는 구조적 절벽과 정렬(Alignment) 방식에 따른 허위 경보 발생 패턴을 분석했습니다.
5월 27일0
arXiv논문
멀티모달 의사결정 지원 시스템을 위한 게임화된 요구사항 도출: SYNCHROMODE 사례
SYNCHROMODE 프로젝트는 멀티모달 운송 운영 관리를 위한 의사결정 지원 시스템 개발을 목표로 합니다. 본 논문은 유스케이스 활용과 게임화(Gamification) 기법을 결합하여 시스템의 핵심 요구사항을 도출하는 방법론을 제안하고 비교 분석합니다.
5월 27일0
arXiv논문
ESBMC: 형식 소프트웨어 검증(Formal Software Verification)에서의 진화, 통합 및 향후 방향에 관한 조사
ESBMC의 발전 과정과 기술적 진화를 다룬 조사 논문입니다. SMT 기반 모델 체킹부터 LLM 및 자율 AI 에이전트와의 결합, 그리고 산업적 배포 사례를 통해 ESBMC가 자율적 검증 커널로 진화했음을 보여줍니다.
5월 27일0
arXiv논문
RepoMirage: 섭동(Perturbations)을 통한 코드 에이전트의 저장소 컨텍스트 추론 능력 조사
코드 에이전트의 저장소 컨텍스트 추론 능력을 평가하기 위한 새로운 벤치마크인 RepoMirage를 소개합니다. 섭동(perturbation) 기법을 통해 에이전트가 구조적 정보를 활용하는 데 한계가 있음을 밝히고, 이를 개선하기 위한 구조 우선 워크플로우인 RepoAnchor를 제안합니다.
5월 27일0
arXiv논문
SetupX: LLM 에이전트가 기능적으로 올바른 코드 저장소 설정 과정에서의 과거 실패로부터 학습할 수 있는가?
LLM 에이전트가 코드 저장소 설정 과정의 실패를 학습하여 환경을 구성하는 SetupX 프레임워크를 제안합니다. XPU를 통한 경험 전이, Docker 스냅샷 기반의 투기적 실행, 그리고 검사관-판사 검증 프로토콜을 통해 복잡한 설정 문제를 해결합니다.
5월 27일0
arXiv논문
FuzzPilot: 구조화된 텍스트 퍼징 (Structured Text Fuzzing)을 위한 정체기 트리거 기반 레시피 검증
FuzzPilot은 AFL++의 커버리지 정체기 시점에 변이 레시피를 검증하는 컨트롤러 연구입니다. 추론 과정을 핫패스에서 분리하여 효율성을 높이고, 언어 모델이나 로컬 규칙을 통해 JSON 기반의 변이 레시피를 생성 및 평가합니다.
5월 27일0
arXiv논문
Verus-SpecGym: 명세 자동 형식화 (Specification Autoformalization) 평가를 위한 에이전트 기반 환경
LLM 에이전트가 비형식적 문제를 형식 명세로 번역하는 '명세 자동 형식화' 능력을 평가하기 위한 Verus-SpecGym 환경과 Verus-SpecBench 벤치마크를 제안합니다. Rust 검증기 Verus를 활용하여 생성된 명세의 정확성을 실행 가능한 코드로 검증하는 새로운 평가 체계를 구축했습니다.
5월 27일0
arXiv논문
자동 연구 시스템(Auto-Research Systems)에서 워크플로우 종결은 과학적 종결이 아니다
자동 연구 시스템(Auto-Research Systems)의 워크플로우 종결이 실제 과학적 종결을 의미하지 않는다는 점을 지적합니다. 시스템의 자율성보다는 비자율적 인식론적 통제 하에서의 실행을 강조하며, 현재 시스템들이 겪는 세 가지 주요 붕괴 현상을 진단합니다.
5월 27일0
arXiv논문
구조적 커버리지 기준을 통한 에이전트 워크플로우 (Agentic Workflows) 테스트
멀티 에이전트 시스템의 워크플로우가 설계된 대로 실행되는지 검증하기 위한 구조적 커버리지 테스트 접근법을 제안합니다. DSPy를 활용해 워크플로우 명세를 시나리오로 변환하고, 도구 접근 및 위임 경로의 적절성을 평가합니다.
5월 27일0
arXiv논문
TrajAudit: 에이전트 기반 코딩 시스템을 위한 자동화된 실패 진단
에이전트 기반 코딩 시스템의 실패 원인을 자동으로 진단하는 프레임워크인 TrajAudit를 제안합니다. 긴 실행 궤적의 노이즈를 필터링하고 테스트 보고서를 활용하여 진단 정확도를 높였으며, 새로운 벤치마크인 RootSE를 통해 성능을 입증했습니다.
5월 27일0
arXiv논문
소프트웨어 스택 업그레이드에서의 에너지 인지적 의사결정
소프트웨어 스택 업그레이드가 에너지 소비에 미치는 영향을 분석하는 체계적인 방법론을 제시합니다. Spring Boot와 JVM 버전 변화에 따른 에너지 효율성을 벤치마킹하여, 최신 JVM의 가상 스레드가 에너지 절감에 기여함을 입증했습니다.
5월 27일0
arXiv논문
증거의 부재는 증거의 불충분함이 아니다: 사실 검증(Fact Verification)에서의 NEI 구축 아티팩트 진단
사실 검증(Fact Verification) 벤치마크에서 '증거의 부재'와 '증거의 불충분함'을 구분하기 위한 NEI-CAP 진단 프로토콜을 제안합니다. 연구 결과, NEI 레이블 구축 방식에 따라 모델의 성능과 학습 양상이 크게 달라짐을 확인했습니다.
5월 27일0
arXiv논문
소프트웨어 공학 (SE) 팟캐스트: 연구 자원으로서의 잠재력에 관한 실증적 연구
본 연구는 소프트웨어 공학(SE) 분야에서 지식 공유 매체로 부상한 팟캐스트의 잠재력을 탐색합니다. 팟캐스트의 내용을 체계적으로 분석하고 연구자들의 인식을 조사하여, 이것이 실증적 소프트웨어 공학 연구에 기여할 수 있는 가치를 평가합니다.
5월 27일0
arXiv논문
Java를 위한 LLM 기반의 Mockless 단위 테스트 생성
Java 단위 테스트 생성 시 발생하는 LLM의 환각 문제를 해결하기 위해 MocklessTester를 제안합니다. 문맥 강화 생성과 제약 조건 강제 수정 전략을 통해 모킹 프레임워크 없이도 실제 의존성을 실행하는 고품질 테스트 생성이 가능함을 입증했습니다.
5월 27일0
arXiv논문
HTMLCure: 브라우저 경험을 상호작용형 HTML을 위한 상태 유도형 수리(State Guided Repair)로 전환하기
HTMLCure는 상호작용형 HTML 페이지의 오류를 진단하고 수리하는 새로운 브라우저 경험 프레임워크입니다. VLM과 실행 궤적을 활용해 상태 기반 수리를 수행하며, 고품질 SFT 데이터셋 구축을 통해 강력한 성능의 모델을 생성합니다.
5월 27일0
arXiv논문
GitHub Actions 언어에 대하여: 사용법, 진화 및 워크플로 신뢰성
GitHub Actions의 언어 구조 채택과 진화가 워크플로의 신뢰성 및 유지보수성에 미치는 영향을 실증적으로 분석한 연구입니다. 49,000개 저장소의 데이터를 통해 복잡한 워크플로가 높은 실패율을 보인다는 점과 리스크를 유발하는 특정 기능을 식별했습니다.
5월 27일0
arXiv논문
데이터 민감 도메인을 위한 LLM 출력의 신경-기호적 검증 (Neuro-Symbolic Verification) (확장된 프리프린트)
데이터 민감 도메인에서 LLM의 환각과 보안 문제를 해결하기 위해 신경망과 기호적 방법론을 결합한 하이브리드 검증 아키텍처를 제안합니다. 논리적 추론과 임베딩 기반 유사성 분석을 병렬로 수행하여 기존 프롬프트 기반 검증의 한계를 극복합니다.
5월 27일0
arXiv논문
LLM이 소프트웨어 디자인 패턴을 사용하도록 유도하는 전략: Singleton 사례 연구
LLM이 소프트웨어 디자인 패턴, 특히 Singleton 패턴을 일관되게 생성하도록 유도하는 프롬프팅 전략을 연구했습니다. 실험 결과, 모델 유형에 따라 최적의 전략은 다르지만 반복적인 이진 피드백이 기능성과 패턴 정렬 측면에서 가장 효과적이었습니다.
5월 27일0
arXiv논문
ConVer: 확장 가능한 형식 소프트웨어 검증을 위한 계약 및 루프 불변량 합성 활용
ConVer는 LLM을 활용하여 대규모 C 프로그램의 형식 검증을 수행하는 하향식 구성적 검증 도구입니다. LLM으로 함수 계약을 합성하고 CEGAR-CEGIS 루프를 통해 계약을 정교화함으로써 상태 공간 폭발 문제를 해결합니다.
5월 27일0
arXiv논문
ProDebug: Prolog을 위한 자동 디버깅 시스템
Prolog 학습자를 위한 자동 디버깅 시스템인 ProDebug을 소개합니다. LLM과 스펙트럼 및 변이 기반 기술을 결합하여 학생들의 코드 결함을 식별하고 수정 사항을 제안합니다.
5월 27일0