Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 829건필터 해제
arXiv논문
추론 전용 배포를 넘어: 가중치 기반 통합과 계층적 압축의 비교
LLM의 컨텍스트 기반 지식 유지 방식과 가중치 통합(LoRA 미세 조정) 방식의 성능을 비교 연구했습니다. 실험 결과, 가중치 통합 방식이 계층적 압축 방식보다 지식 보존율에서 약 43.6%p 높은 성능을 보였습니다.
5월 26일0
arXiv논문
IC3 및 Large Language Models (LLMs)를 통한 분산 프로토콜용 귀납적 불변량 합성
LLM과 IC3 알고리즘을 결합하여 분산 프로토콜의 귀납적 불변량을 자동으로 합성하는 신경-기호 프레임워크 IC3Syn을 제안합니다. 기존 방식의 논리적 제한을 극복하고 복잡한 산업 규모의 프로토콜에서도 안전성을 입증하는 데 성공했습니다.
5월 26일0
arXiv논문
방패 뒤집기: 정책 명세로부터 체계적인 안전성 테스트 생성하기
POLARIS는 자연어 정책을 1차 논리(FOL)로 변환하여 LLM의 안전성을 체계적으로 테스트하는 새로운 프레임워크입니다. 의미론적 정책 그래프를 통해 정책 위반 패턴을 탐색하고, 기존 방식보다 높은 정책 커버리지와 공격 성공률을 달성했습니다.
5월 26일0
arXiv논문
LLM 매개 소프트웨어 진화를 위한 명세 기반 Code-Text-Code 재공학
LLM을 활용한 코드 변환 시 발생하는 의미론적 드리프트 문제를 해결하기 위해 명세 기반의 Code2Text2Code 재공학 프레임워크를 제안합니다. 소스 코드를 중립적인 텍스트 명세로 변환한 뒤 다시 코드로 생성하여 프로그램의 의도와 동작을 정확하게 보존하는 것이 핵심입니다.
5월 26일0
arXiv논문
FMU 기반 시뮬레이션의 다중 에이전트 명세 기반 메타모픽 테스팅
FMU 기반 시뮬레이션 모델의 검증을 위해 LLM 기반 다중 에이전트 워크플로우를 활용한 메타모픽 테스팅 기법을 제안합니다. 명세로부터 메타모픽 관계(MR)를 자동으로 추출하여 테스트 케이스 생성과 출력 일관성 평가를 자동화합니다.
5월 26일0
arXiv논문
TRACE: 응용 행동 분석 (ABA)의 교수 프로그램 생성 및 세션 해석을 위한 분류 체계 기반 합성 데이터셋
ABA(응용 행동 분석) 분야의 데이터 보안 문제를 해결하기 위해 제안된 합성 인스트럭션 튜닝 데이터셋 TRACE를 소개합니다. 이 데이터셋은 결정론적 분류 체계를 기반으로 교수 프로그램 생성 및 행동 로그 해석 작업을 위한 2,999개의 고품질 예시를 포함합니다.
5월 26일0
arXiv논문
이름만 있으면 충분하다: Python을 위한 효과적이고 안전한 회귀 테스트 선택 (Regression Test Selection)
Python의 동적 타이핑 특성으로 인해 발생하는 회귀 테스트 선택(RTS)의 어려움을 해결하기 위한 새로운 접근 방식인 NameRTS를 제안합니다. NameRTS는 코드 요소와 이름 노드의 이분 그래프 모델링을 통해 정밀한 의존성 분석을 수행하며, 기존 방식보다 높은 효율성과 안전성을 입증했습니다.
5월 26일0
arXiv논문
PR 인지형 자동 단위 테스트 생성: 과제와 기회
본 연구는 풀 리퀘스트(PR)의 변경 사항을 검증하는 'PR 인지형 자동 단위 테스트 생성' 능력을 평가합니다. 탐색 기반 도구인 EvoSuite와 LLM인 GPT-4o를 비교한 결과, EvoSuite가 GPT-4o보다 높은 F2P 테스트 생성 성능을 보였으나 두 방식 모두 현대적 개발 흐름을 완벽히 지원하기에는 한계가 있음을 밝혀냈습니다.
5월 26일0
arXiv논문
KYA: 검증 가능한 출처와 계층적 정책 구성을 갖춘 자율 시스템용 프레임워크 불가지론적 신뢰 계층
KYA는 자율 에이전트 시스템의 신뢰성과 거버넌스를 보장하기 위한 오픈 소스 프레임워크입니다. 서명 검증, 계층적 정책 구성, 신뢰 점수 통합 등 5가지 프리미티브를 통해 에이전트의 오작동이나 통제 이탈을 탐지하고 방지합니다.
5월 26일1
arXiv논문
다국어 시나리오에서의 로그 문장 생성을 위한 언어 모델 활용: 우리는 어디까지 왔는가?
다국어 프로그래밍 환경에서의 자동 로그 문장 생성 성능을 평가하기 위해 5개 언어, 15만 개의 인스턴스로 구성된 벤치마크를 구축했습니다. 연구 결과, UniLog가 가장 우수한 성능을 보였으며 언어별 로깅 관용구와 특성을 고려하는 것이 중요함을 밝혀냈습니다.
5월 26일0
arXiv논문
블랙박스 테스트 스위트 최소화를 위한 변경 이력의 시계열 모델링
블랙박스 테스트 스위트 최소화(TSM)를 위해 변경 이력의 시계열적 역학을 반영한 TRTM 기법을 제안합니다. 지수적 시간 감쇠를 통해 최신 코드의 결함 위험도를 계산하고, 정적 호출 그래프를 활용해 리스크 기반의 테스트 케이스를 선별합니다.
5월 26일0
arXiv논문
대규모 언어 모델 기반 코드 생성 작업에 관한 3차 리뷰: 트렌드, 과제 및 향후 방향
LLM 기반 코드 생성 작업(CGT)의 현황과 과제를 분석한 3차 리뷰 연구입니다. 벤치마크 성능은 높으나 실제 환경에서의 일반화, 견고성, 효율성 및 사회 기술적 통합 측면에서 한계가 있음을 지적합니다.
5월 26일0
arXiv논문
반응형 레이아웃 실패(RLFs)를 위한 CSS 속성 국소화의 휴리스틱 접근 방식
반응형 레이아웃 실패(RLFs)의 근본 원인인 CSS 속성을 식별하기 위한 휴리스틱 접근 방식인 LocaliCSS를 제안합니다. 이 방식은 요소의 상대적 정렬과 Q&A 데이터를 활용하여 문제의 CSS 속성을 국소화하며, 높은 정확도로 숙련된 엔지니어의 판단과 일치함을 입증했습니다.
5월 26일0
arXiv논문
CelerLog: 동적 라우팅을 통한 빠른 로그 파싱 (Fast Log Parsing)
CelerLog는 로그의 복잡도에 따라 통계적 프로세서와 LLM을 동적으로 라우팅하는 하이브리드 로그 파싱 프레임워크입니다. 모든 로그에 LLM을 사용하지 않고 패턴 기반의 밀집 그룹은 통계 방식으로 처리하여 속도와 비용 효율성을 극대화했습니다.
5월 26일0
arXiv논문
에이전트형 AI 코딩 어시스턴트가 어떻게 공격자의 셸(Shell)이 되는가
에이전트형 AI 코딩 어시스턴트가 외부 아티팩트를 통해 공격자의 셸로 변질될 수 있는 보안 취약점을 분석합니다. 프롬프트 인젝션 공격의 작동 원리와 유병률을 조사하고 현재 방어 체계의 한계를 논의합니다.
5월 26일0
arXiv논문
AI 네이티브 소프트웨어 생산을 위한 메타 엔지니어링 하네스: 조기 배포 보고서를 포함한 계약 기반 적대적 검증 아키텍처
AI 네이티브 소프트웨어의 지속적인 생산과 검증을 위한 메타 엔지니어링 하네스 아키텍처를 제안합니다. 계약 기반의 적대적 검증과 AI 에이전트 라우팅을 통해 소프트웨어를 일회성 결과물이 아닌 지속 가능한 운영 인프라로 관리하는 방법을 다룹니다.
5월 26일0
arXiv논문
단일 노드, 10억 스핀 규모의 원자론적 프레임워크를 통한 다채널 자기 호프니온(magnetic hopfion) 소멸의 규명
GPU 네이티브 원자론적 스핀 시뮬레이션 프레임워크인 SpinX를 소개합니다. JAX 기반의 SpinX는 대규모 격자에서도 효율적인 계산을 지원하며, 이를 통해 자기 호프니온의 새로운 소멸 경로를 규명했습니다.
5월 26일0
arXiv논문
신뢰할 수 있는 소프트웨어 프로젝트 생성: 대화형 정리 증명기(ITP)를 이용한 사례 연구
LLM을 활용하여 대화형 정리 증명기(ITP) 기반의 신뢰할 수 있는 소프트웨어 프로젝트를 생성하는 연구를 소개합니다. Rocq를 백엔드로 사용하여 부작용이 있는 코드와 순수 로직을 분리함으로써, 인간의 개입 없이 검증된 CPU 인터프리터를 성공적으로 개발했습니다.
5월 26일0
arXiv논문
초기 도입에서 지속적 사용으로: 이탈리아 중소기업(SME) 소프트웨어 개발자들의 생성형 AI (GenAI) 사용 이해
이탈리아 중소기업(SME) 소프트웨어 개발자들의 생성형 AI 지속 사용 동인을 UTAUT2 프레임워크를 통해 분석한 연구입니다. 연구 결과, 지속적 사용은 조직적 요인보다 개인의 생산성, 즐거움, 사용 용이성과 같은 개인적 인식에 의해 주로 결정됨을 밝혀냈습니다.
5월 26일0
arXiv논문
휴면 코드 경로(Dormant Code Paths) 활용을 통한 데이터베이스 시스템의 성능 문제 탐색
데이터베이스 시스템의 성능 문제를 체계적으로 탐색하기 위한 새로운 화이트박스 방법론인 분기 플립 분석(BFA)을 제안합니다. BFA는 코드 분기를 조작하여 최적화 로직을 테스트하며, 프로토타입 QueryZen을 통해 PostgreSQL 등 주요 DBMS에서 21개의 미발견 성능 문제를 찾아냈습니다.
5월 25일0