Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
CodeChat-Eval: 다회차 코드 개선 대화에서의 대규모 언어 모델 (LLMs) 평가
다회차 코드 개선 대화 환경에서 LLM의 성능을 평가하기 위한 새로운 프레임워크인 CodeChat-Eval을 소개합니다. 기존 벤치마크가 놓치고 있는 기능적 정확성 유지 능력을 측정하며, 대화가 진행될수록 모델의 정확도가 유의미하게 하락함을 입증합니다.
6월 25일0
arXiv논문
패치 분석을 통한 구성별 보안 취약점의 자동 탐지
PatchLens는 C/C++ 시스템의 보안 패치를 분석하여 컴파일 타임 변형에 따른 취약점 영향 조건(VIC)을 자동으로 탐지하는 정적 기술입니다. 시스템 변형을 직접 컴파일하지 않고도 취약점이 발생하는 구성 옵션을 정확하게 식별할 수 있습니다.
6월 25일0
arXiv논문
이해관계자 대화로부터 잠재적 요구사항의 LLM 기반 발견: 산업 현장의 예비 결과
이해관계자 인터뷰에서 암묵적인 요구사항을 발견하기 위한 LLM 기반 접근 방식인 LENS를 제안합니다. LENS는 문맥 정보를 활용해 명시적 요구사항뿐만 아니라 잠재적 요구사항까지 추론하여 사용자 스토리로 변환합니다.
6월 25일0
arXiv논문
소프트웨어 문서의 자동 요약: LLM 기반 멀티 에이전트 접근 방식
소프트웨어 문서의 정확한 요약을 위해 설계된 LLM 기반 멀티 에이전트 시스템인 Metagente를 제안합니다. 교사-학생(Teacher-Student) 아키텍처를 통해 요약의 정밀도를 높였으며, 기존 베이스라인 모델보다 뛰어난 성능을 입증했습니다.
6월 24일0
arXiv논문
MANGO: Vision-Language-Action 모델을 위한 자동화된 멀티 에이전트 테스트 오라클 생성
VLA 모델의 로봇 제어 테스트를 위해 자연어 설명을 기반으로 세밀한 테스트 오라클을 자동 생성하는 멀티 에이전트 프레임워크 MANGO를 제안합니다. MANGO는 원자적 작업 라이브러리와 협력적 에이전트 시스템을 통해 기존 수동 방식의 한계를 극복하고 정밀한 결함 위치 파악을 지원합니다.
6월 24일0
arXiv논문
2단계 모델링 vs. 다단계 모델링: 연쇄적 유지보수 부담에 관한 실증적 연구
2단계 모델링(2LM)과 다단계 모델링(MLM)의 유지보수 부담을 비교하는 실증적 연구를 소개합니다. MLM의 구조적 통합이 모델 변경 시 발생하는 불일치와 수정 범위를 줄일 수 있는지 변이 기반 실험을 통해 검증합니다.
6월 24일0
arXiv논문
Simulink 모델 체커의 비트 정밀 일치성 테스트 (Bit-Precise Conformance Testing)
Simulink 모델 체커의 신뢰성을 검증하기 위해 블록 타입의 형식화와 비트 정밀 일치성 테스트 방법을 제안합니다. SmtMC와 SLDV를 비교 실험한 결과, SmtMC가 Simulink 시뮬레이션 및 SLDV 결과와 더 높은 일치성을 보임을 확인했습니다.
6월 24일0
arXiv논문
형식 기법 가이드 기반의 바이브 코딩 (Vibe Coding): 모델 주도 공학 (MDE)을 통한 AI 생성 안전 필수 소프트웨어의 검증 루프
바이브 코딩의 위험성을 해결하기 위해 모델 주도 공학(MDE)과 형식 검증을 결합한 Forge 파이프라인을 제안합니다. LLM이 생성한 코드를 Dafny, CSP, Isabelle 등을 통해 검증하고, 실패 시 수정 프롬프트를 통해 자동 반복하는 폐쇄 루프 구조를 다룹니다.
6월 24일0
arXiv논문
자동화된 파이프라인 탐색을 통한 4-Expert 이종 Mixture-of-Experts의 체계적 탐색
LEMUR 데이터셋을 활용하여 이종 4-Expert Mixture-of-Experts(MoE4) 아키텍처를 자동으로 탐색하는 파이프라인을 제안합니다. 대규모 탐색 과정에서 발생한 커버리지 편향 문제를 식별하고, 층화 추출을 통한 개선 방안과 최적의 앙상블 조합을 도출했습니다.
6월 24일0
arXiv논문
ESAA-Conversational: 이기종 LLM 코딩 에이전트 간의 연속성, 핸드오프 및 큐레이션을 위한 이벤트 소싱 메모리 레이어
이기종 LLM 코딩 에이전트 간의 대화 상태 불일치 문제를 해결하기 위해 이벤트 소싱 기반의 메모리 레이어인 ESAA-Conversational을 제안합니다. 이 아키텍처는 대화 로그를 정규화된 이벤트 스토어로 관리하여 에이전트 간의 원활한 작업 인계와 협업을 지원합니다.
6월 24일0
arXiv논문
VeriPilot: LLM 기반의 Verilog 디버깅 프레임워크
VeriPilot은 LLM을 활용하여 Verilog 설계의 버그를 자동으로 식별하고 수정하는 새로운 디버깅 프레임워크입니다. 골든 레퍼런스 모델과 제어-데이터 흐름 그래프(CDFG)를 결합하여 복잡한 의존성 체인을 추적함으로써 디버깅 정확도를 높였습니다.
6월 24일0
arXiv논문
ESBMC-PLC+: PLCverif의 후속작으로서 통합된 IEC 61131-3 형식 검증 프레임워크
ESBMC-PLC+는 기존 PLCverif의 한계를 극복하기 위해 개발된 통합 IEC 61131-3 형식 검증 프레임워크입니다. ST/SCL 프런트엔드 지원과 기능 블록 상태 의미론 도입을 통해 유계가 없는 안전성 증명을 가능하게 합니다.
6월 24일0
arXiv논문
태스크 가이드형 대화 그래프에서 목표 지향적 대화 런타임으로
멀티 에이전트 환경에서 대화의 연속성을 유지하기 위한 '목표 지향적 대화 런타임(GODR)' 디자인 패턴을 제안하는 논문입니다. 목표를 일급 객체로 취급하여 복잡한 상호작용 중에도 목표의 중단, 재개, 수정이 가능하도록 설계되었습니다.
6월 24일0
arXiv논문
JupOtter: Jupyter Notebooks에서의 셀 단위 버그 탐지
Jupyter Notebooks의 복잡성 증가에 대응하기 위해 셀 단위로 버그를 탐지하는 시스템인 JupOtter를 제안합니다. 노트북 특화 토큰화 전략과 새로운 데이터셋인 OtterDataset을 통해 기존 정적 분석기 및 LLM보다 뛰어난 성능을 입증했습니다.
6월 24일0
arXiv논문
실무에서의 도메인 주도 설계 (Domain-Driven Design): 오픈 소스 저장소의 유지보수 및 진화에 관한 마이닝 연구
오픈 소스 프로젝트에서 도메인 주도 설계(DDD)의 실행 방식과 진화, 유지보수 품질 간의 관계를 분석한 실증적 연구입니다. GitHub 저장소를 대상으로 DDD 빌딩 블록의 분포와 경계 위반이 유지보수에 미치는 영향을 조사합니다.
6월 24일0
arXiv논문
AutoSpec: 귀납 논리 프로그래밍 (ILP)을 통한 LLM 에이전트용 안전 규칙 진화
AutoSpec은 귀납 논리 프로그래밍(ILP)과 반례 유도 합성(CEGIS)을 결합하여 LLM 에이전트용 안전 규칙을 자동으로 생성하는 프레임워크입니다. 기존 수작업 규칙의 취약점과 신경망 분류기의 낮은 해석 가능성을 극복하여, 정밀도와 재현율이 높은 해석 가능한 규칙을 진화시킵니다.
6월 24일0
arXiv논문
협업 및 AI 지원 요구사항 도출: 실증 연구
LLM을 활용한 요구사항 도출 과정이 산출물의 품질에 미치는 영향을 비교 분석한 실증 연구입니다. 실험 결과, 인간의 협업과 AI의 합성을 결합한 방식이 전통적인 방식보다 더 명확하고 실행 가능한 요구사항을 생성함을 확인했습니다.
6월 24일0
arXiv논문
하이브리드 양자-고전 소프트웨어 시스템 설계: 정량적 보장을 통한 설계 트레이드오프 공간 탐색
양자-고전 하이브리드 소프트웨어 시스템을 설계하기 위해 서비스 지향 아키텍처(SOA) 원칙을 적용하는 연구를 다룹니다. NISQ 장치의 제약 사항을 고려하여 정량적 보장을 통해 최적의 시스템 구성을 탐색하는 방법론을 제안합니다.
6월 24일0
arXiv논문
Agon: 프롬프트 경제 (Prompt Economy)를 기반으로 구축된 자율적 대규모 다학제적 연구 시스템
Agon은 프롬프트 경제를 기반으로 구축된 자율적 다학제 연구 오케스트레이터입니다. 인간의 개입을 최소화하고 기계가 연구를 확장하며 인간이 조종하는 새로운 연구 패러다임을 제시합니다.
6월 24일0
arXiv논문
Breaking Update 수정을 위한 AST 변환 규칙의 에이전트 기반 생성
라이브러리 업데이트로 인한 Breaking API 변경 문제를 해결하기 위해 에이전트 기반 프레임워크인 BigBag을 제안합니다. LLM과 AST 변환 엔진을 결합하여 재사용 가능한 수정 프로그램을 생성함으로써, 여러 프로젝트에 걸쳐 효율적이고 확장 가능한 코드 복구를 가능하게 합니다.
6월 24일0