Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
ESBMC-PLC+: PLCverif의 후속작으로서 통합된 IEC 61131-3 형식 검증 프레임워크
ESBMC-PLC+는 기존 PLCverif의 한계를 극복한 통합 IEC 61131-3 형식 검증 프레임워크입니다. ST/SCL 프런트엔드와 그래픽 LD의 기능 블록 상태 의미론을 지원하며, ESBMC 백엔드를 통해 유계가 없는 안전성 증명을 제공합니다.
6월 26일0
arXiv논문
AutoSpec: 귀납 논리 프로그래밍 (ILP)을 통한 LLM 에이전트용 안전 규칙 진화
AutoSpec은 귀납 논리 프로그래밍(ILP)을 활용하여 LLM 에이전트의 안전 규칙을 자동으로 생성하고 진화시키는 프레임워크입니다. CEGIS 방식을 통해 해석 가능한 규칙을 도출하며, 기존 방식보다 높은 정밀도와 재현율을 보여줍니다.
6월 26일0
arXiv논문
지식 기반 풀 리퀘스트 (Knowledge-Based Pull Requests): 에이전트 매개 지식 협업을 위한 신뢰할 수 있는 워크플로우
AI 코딩 에이전트 간의 신뢰할 수 있는 협업을 위한 '지식 기반 풀 리퀘스트(KPR)' 워크플로우를 제안하는 논문입니다. 외부의 코드를 직접 병합하는 대신, 에이전트 상호작용을 지식 패키지로 추출하여 내부 에이전트가 프로젝트 컨텍스트에 맞춰 재생성하도록 설계되었습니다.
6월 26일0
arXiv논문
블랙박스 스키마 변환기 오케스트레이션: 이기종 스키마 언어 간 자동화된 품질 순위 기반 변환에 관한 실증적 연구
이기종 스키마 언어 간의 자동화된 변환을 위해 품질 순위 기반의 오케스트레이션 방식을 제안하는 연구입니다. 블랙박스 변환기를 그래프 모델로 구조화하여 최적의 변환 경로를 탐색하고, 실증 실험을 통해 변환 환경의 한계와 개선 방향을 제시합니다.
6월 26일0
arXiv논문
희석을 동반한 증강: AI 코딩 에이전트 도입 이후 인간 기여자 생태계에 대한 대규모 실증 연구
AI 코딩 에이전트 도입이 오픈 소스 생태계 내 인간 기여자의 행동 변화에 미치는 영향을 분석한 대규모 실증 연구입니다. AI가 인간을 완전히 대체하기보다는 참여 구조를 재편하며, 코드 생성 부담을 리뷰 단계로 이동시키는 '희석을 동반한 증강' 패턴을 확인했습니다.
6월 26일0
arXiv논문
자율주행 시스템(ADS)을 위한 안전 인지형 변이 테스트(Safety-Aware Mutation Testing)를 향하여
자율주행 시스템(ADS)의 안전성을 검증하기 위해 기존의 커버리지 지표나 단순 변이 테스트의 한계를 극복하는 '안전 인지형 변이 테스트(SAMT)' 패러다임을 제안합니다. 모듈 간 메시지 교환에 결함을 주입하여 현실적인 상호작용 실패를 시뮬레이션하고, STPA와 같은 안전 공학 프레임워크를 활용해 변이 생성 규칙을 도출하는 방안을 다룹니다.
6월 26일0
arXiv논문
딥러닝 프로그램의 결함 진단에 있어서의 평가 전략 격차
딥러닝 프로그램의 결함 진단 시 평가 방식에 따른 성능 격차를 분석한 연구입니다. 프로그램 내부 교차 검증과 배포 환경 간의 성능 차이를 DynFault 코퍼스를 통해 규명하고, 특징량별 유효성을 검증했습니다.
6월 26일0
arXiv논문
동일한 검토, 더 많은 시간: LLM이 라벨링한 코드를 검토할 때의 시선 추적 통찰
LLM이 생성한 코드가 라벨링되었을 때 소프트웨어 엔지니어들의 코드 리뷰 행동 변화를 시선 추적 실험을 통해 분석한 연구입니다. 연구 결과, 라벨링은 리뷰의 철저함 자체를 바꾸지는 않지만 특정 코드에 더 많은 시간을 고정하게 만드는 등 주의력에 영향을 미침을 확인했습니다.
6월 26일0
arXiv논문
ConcoLixir: Python Concolic Testing을 위한 반응형 LLM 발견 오라클 (Discovery Oracles)
Python Concolic Testing의 한계를 극복하기 위해 LLM을 '발견 오라클'로 활용하는 ConcoLixir를 제안합니다. LLM은 심볼릭 실행이 어려운 의미론적 장벽을 넘을 수 있도록 초기 시드 생성 및 구체적 입력을 제안하여 코드 커버리지를 크게 향상시킵니다.
6월 26일0
arXiv논문
트랜스파일링을 통한 양자 변이 동등성 (Quantum Mutant Equivalence via Transpilation)
양자 소프트웨어 변이 테스트에서 발생하는 동등 변이 문제를 해결하기 위해 트랜스파일러 기반 동등성(TBE) 접근 방식을 제안합니다. TBE는 원래 회로와 변이 회로를 동일하게 트랜스파일링하여 OpenQASM 코드를 비교함으로써 의미론적으로 동일한 변이를 식별합니다.
6월 26일0
arXiv논문
NOVA: 산업용 추천 시스템의 아키텍처 진화를 위한 검증 인식형 에이전트 하네스
산업용 광고 추천 시스템의 아키텍처 진화를 자동화하는 검증 인식형 에이전트 하네스인 NOVA를 소개합니다. NOVA는 아키텍처 그래디언트와 검증 캐스케이드 기술을 통해 모델 구조 변경 시 발생할 수 있는 침묵의 실패를 방지하고 개발 사이클을 획기적으로 단축합니다.
6월 26일0
arXiv논문
창고 최적화를 위한 문맥 인식형 최적화 파이프라인 합성 (Context-Aware Synthesis of Optimization
창고 주문 이행 최적화를 위해 문맥에 맞는 알고리즘 파이프라인을 자동으로 합성하고 평가하는 CASOP 프레임워크를 제안합니다. 이 프레임워크는 모듈형 알고리즘 저장소와 분류 체계를 통해 창고 환경에 최적화된 솔루션을 설계할 수 있도록 지원합니다.
6월 26일0
arXiv논문
LLM 코딩 에이전트를 위한 결정론적 제어 평면 (A Deterministic Control Plane for LLM Coding Agents)
LLM 코딩 에이전트의 설정 관리 부재와 보안 취약점을 해결하기 위한 결정론적 제어 평면인 Rel(AI)Build를 제안합니다. 이 시스템은 에이전트 정의를 관리되는 공급망으로 취급하여 권한 제어, 감사 로그, 프롬프트 드리프트 탐지 기능을 제공합니다.
6월 26일0
arXiv논문
LLM은 마이크로서비스 아키텍처의 안티 패턴(Anti-Pattern) 탐지를 수행할 준비가 되었는가?
본 논문은 LLM이 마이크로서비스 아키텍처의 안티 패턴(AP)을 효과적으로 탐지할 수 있는지 조사합니다. 16가지 안티 패턴 벤치마크를 통해 LLM의 성능을 기존 정적 분석 도구와 비교 평가했습니다.
6월 26일0
arXiv논문
CLIR: Cranelift 컴파일러를 위한 생존성 기반 및 구조 인식 퍼징 (Fuzzing)
Cranelift 컴파일러의 버그 탐지를 위해 SSA 유효성과 연산 밀도를 고려한 차분 테스트 프레임워크 CLIR을 제안합니다. CLIR은 기존 도구들보다 월등한 성능을 보이며 다양한 아키텍처에서 다수의 버그를 성공적으로 발견했습니다.
6월 26일0
arXiv논문
코드 에이전트에게 정적 구조가 얼마나 필요한가? 결정론적 앵커링(Deterministic Anchoring)에 관한 연구
LLM 기반 코드 에이전트의 확률적 탐색 문제를 해결하기 위해 경량 정적 분석을 통한 '결정론적 앵커링' 효과를 연구했습니다. 정적 구조 정보를 주석으로 주입함으로써 에이전트의 탐색을 더 예측 가능하고 재현 가능하게 만들 수 있음을 입증했습니다.
6월 26일0
arXiv논문
실행할 것인가 말 것인가: LLM 기반 프로그램 수정(Program Repair)에서 코드 실행의 비용 효율성 분석
LLM 기반 프로그램 수정(Program Repair) 과정에서 코드 실행이 미치는 비용 효율성을 분석한 연구입니다. SWE-bench 데이터를 통해 실행 빈도와 성공률의 관계를 분석하고, 실행 제한이 성능에 미치는 영향과 비용 절감 가능성을 제시합니다.
6월 26일0
arXiv논문
Spec Growth Engine: AI 보조 소프트웨어 개발을 위한 명세 고정, 코드 결합 및 드리프트 강제 아키텍처
AI 코딩 에이전트의 컨텍스트 폭발과 명세-코드 간의 불일치(drift) 문제를 해결하기 위한 'Spec Growth Engine' 프레임워크를 제안합니다. 기계 판독 가능한 명세 그래프와 드리프트 게이트를 통해 코드와 명세의 동기화를 강제하고 효율적인 개발을 지원합니다.
6월 26일0
arXiv논문
다운스트림 태스크를 위한 로그 정제 (등록 보고서)
로그 데이터 내 중복되거나 무관한 정보를 제거하여 모델 추론 및 이상 탐지 성능을 높이는 LogPurifier 방법론을 제안합니다. 로그 메시지 템플릿 간의 의존 관계를 활용하여 태스크에 구애받지 않는 정제 방식을 연구합니다.
6월 26일0
arXiv논문
Solarsystem: 행성 위치 및 태양-달 이벤트 계산을 위한 검증된 경량 Python 패키지
행성 위치와 태양-달 이벤트를 계산하는 경량 Python 패키지인 solarsystem을 소개합니다. 외부 데이터셋 없이 해석적 모델을 사용하여 계산 효율성을 높였으며, Skyfield 및 JPL DE440 데이터와 비교하여 높은 정확도를 검증했습니다.
6월 26일0