Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
레지스트리 기반 에이전트 생명주기: AWS AgentCore에서 평가 기반 등록, 승격 및 은퇴를 통한 EDDOps 완성
AWS Bedrock AgentCore를 활용하여 에이전트의 생명주기를 관리하는 EDDOps(평가 주도 개발 및 운영) 프레임워크를 제안합니다. 평가를 기반으로 모델을 등록, 승격, 은퇴시키는 레지스트리 중심의 거버넌스 아키텍처를 다룹니다.
3일 전0
arXiv논문
BT-APE: 요구사항 분류를 위한 계산 효율적인 백트래킹 기반 자동 프롬프트 엔지니어링 접근 방식
요구사항 분류를 위해 백트래킹 탐색과 동적 예시 선택을 활용한 경량 자동 프롬프트 엔지니어링(BT-APE) 기법을 제안합니다. 기존 APE 방식과 유사한 정확도를 유지하면서도 토큰 사용량과 실행 시간을 획기적으로 줄여 계산 효율성을 높였습니다.
3일 전0
arXiv논문
GitHub 프로젝트의 사회적 인기: 생명줄인가, 아니면 부담인가?
73,000개 이상의 GitHub 저장소를 대상으로 프로젝트 생존 요인을 분석한 연구입니다. 인적 자본이 생존의 핵심이지만, 과도한 사회적 관심은 오히려 프로젝트 비활성 위험을 높일 수 있음을 밝혀냈습니다.
3일 전0
arXiv논문
다국어 동등 변이 탐지를 위한 대규모 언어 모델 (LLMs): 확장된 실증 연구
본 논문은 다국어 환경에서 LLM을 활용한 동등 변이 탐지(EMD)의 잠재력을 분석한 첫 번째 종합 실증 연구입니다. Java와 C 언어를 대상으로 실험한 결과, LLM 기반 접근 방식이 기존 방법론보다 높은 F1-score와 우수한 교차 언어 일반화 능력을 보임을 입증했습니다.
3일 전0
arXiv논문
양자 소프트웨어에서의 실증적 비교 감사 (Auditing Empirical Comparisons in Quantum Software)
양자 소프트웨어 논문의 실증적 비교 결과가 실제 증거에 의해 충분히 뒷받침되는지 검증하는 CLAIMSTAB-QC 프레임워크를 제안합니다. 119개의 논문을 분석한 결과, 대다수의 비교 주장이 원본 데이터를 통해 재현하거나 감사하기에 증거가 불충분하다는 '구체화 격차'를 발견했습니다.
3일 전0
arXiv논문
통과할 수 없다! 개발자들이 AI 자율성에 대해 선을 긋는 지점과 그 이유
Microsoft 개발자 448명을 대상으로 AI 자율성에 대한 수용도를 조사한 연구 결과입니다. 개발자들은 작업의 정체성이나 책임성이 높은 영역에서는 AI의 자율성을 낮게 평가하며, 개인의 경험과 작업 특성에 따라 수용 범위가 다름을 확인했습니다.
3일 전0
arXiv논문
SchedCheck: 이벤트 기반 블록 프로그램의 스케줄 견고성 (Schedule-Robustness) 분석
Scratch와 같은 블록 기반 언어에서 발생하는 병행적 실행의 스케줄 민감성 문제를 분석하는 SchedCheck를 제안합니다. 스케줄 공간을 공식화하고 부분 순서 탐색을 통해 프로그램의 견고성을 검증하며, 실제 프로젝트 조사 결과 상당수가 스케줄에 따라 결과가 달라짐을 확인했습니다.
3일 전0
arXiv논문
잿더미에서 피어나다: 딥러닝 프레임워크 버그를 위한 LLM 기반 정적 분석
딥러닝 프레임워크의 보안 버그를 탐지하기 위해 LLM 기반의 정적 분석 기술인 Phoenix를 제안합니다. 멀티 에이전트 워크플로와 SBIR 중간 표현을 통해 복잡한 텐서 흐름 내 잠재적 버그를 효과적으로 분석합니다.
3일 전0
arXiv논문
더 나은 Linux 커널 결함 국지화(Fault Localization)를 향하여: 대조적 추론(Contrastive Reasoning) 및
Linux 커널 디버깅을 위해 대조적 추론과 계층적 문맥 분석을 도입한 새로운 LLM 기반 결함 국지화 기술 CoHiKer를 제안합니다. 기존 방식보다 높은 정확도를 기록하며 토큰 소비량까지 절감하는 성능을 입증했습니다.
3일 전0
arXiv논문
실행 비디오로부터의 검증된 프로그램 복구: 신뢰할 수 없는 생성기를 위한 건전한 오라클 (Sound Oracle)
실행 비디오를 통해 Scratch 프로그램을 복구할 때, 신뢰할 수 없는 생성기가 제안한 후보를 검증하는 'Sound Oracle' 연구를 소개합니다. 정적 검사기를 통해 렌즈 동등성을 증명함으로써 잘못된 프로그램의 수락을 방지하는 2단계 검증 메커니즘을 제안합니다.
3일 전0
arXiv논문
소프트웨어 산출물 내 비포용적 언어의 인식과 영향
소프트웨어 산출물 내 비포용적 용어가 개발자의 직업적 경험에 미치는 영향을 조사한 연구입니다. 오픈 소스 기여자 대상 설문 결과, 인구통계학적 그룹에 따라 용어에 대한 인식과 소속감에 미치는 영향에 차이가 있음을 확인했습니다.
3일 전0
arXiv논문
소프트웨어 저장소 내 AI 패턴의 보급률을 조사하기 위한 방법론
소프트웨어 저장소 내 AI 패턴의 실제 보급률을 조사하기 위한 새로운 방법론을 제안합니다. 문헌 마이닝과 능동 학습을 결합하여 14개의 AI 패턴 클래스를 식별하고 GitHub 저장소에서의 사용 빈도를 검증합니다.
3일 전0
arXiv논문
ClarifyCodeBench: 코드 생성을 위한 모호한 요구사항 명확화 능력에 대한 LLM 평가
LLM의 코드 생성 시 모호한 요구사항을 명확히 하는 능력을 평가하기 위한 새로운 벤치마크인 ClarifyCodeBench를 소개합니다. 기존 벤치마크가 간과한 상호작용적 요구사항 도출 과정을 정밀하게 측정하며, 최신 모델들의 성능 한계를 분석합니다.
3일 전0
arXiv논문
레지스트리에서 리포지토리로: AI 에이전트 기술(Skills)이 작성, 적응 및 유지되는 방식
AI 코딩 에이전트의 핵심 구성 요소인 '기술(Skills)'의 저작, 재사용 및 유지 관리 방식을 분석한 첫 번째 실증 연구를 소개합니다. 연구 결과, 기술은 주로 일회성 복사로 재사용되며, 유지 관리는 주로 도메인 지식을 추가하는 방식으로 이루어짐을 확인했습니다.
3일 전0
arXiv논문
마이크로서비스 가용성 분석을 위한 런타임 모델의 기초로서의 확률적 연결성 (Stochastic Connectivity)
마이크로서비스의 가용성을 평가하기 위해 확률적 연결성(Stochastic Connectivity)에 기반한 새로운 런타임 모델을 제안합니다. 이 모델은 결함 주입 실험 없이도 분산 트레이싱과 배포 데이터를 활용해 엔드포인트 수준의 회복탄력성을 정량적으로 분석할 수 있게 합니다.
3일 전0
arXiv논문
지식 강화 에이전트 기반 취약점 수정 (Knowledge-Enhanced Agentic Vulnerability Repair)
KeaRepair는 검증된 프로그램 사실과 고수준의 취약점 지식을 활용하는 새로운 에이전트 기반 자동 취약점 수정(AVR) 프레임워크입니다. ReAct 스타일의 추론과 검색 증강 패치 생성 기술을 통해 기존 모델보다 높은 수정 성능을 입증했습니다.
3일 전0
arXiv논문
테스트 최적화를 위한 양자 애플리케이션 생성에 LLM 기반 에이전트 시스템 활용
자연어 요구사항을 실행 가능한 양자 애플리케이션으로 변환하는 LLM 기반 멀티 에이전트 아키텍처 QPipe를 제안합니다. QPipe는 파싱부터 검증까지 특화된 에이전트들이 협업하여 높은 성공률과 기존 알고리즘 대비 우수한 성능을 보여줍니다.
3일 전0
arXiv논문
메타모픽 테스팅 (Metamorphic Testing)을 통한 테스트 오라클 (Test Oracle) 부재 시의 델타 디버깅 (Delta
테스트 오라클이 없는 프로그램에서도 델타 디버깅을 적용할 수 있도록 메타모픽 테스팅을 결합한 DDMT 기법을 제안합니다. 오라클에 독립적인 테스트 함수를 설계하여 속성 보존 검증을 수행함으로써 디버깅의 적용 범위를 넓혔습니다.
3일 전0
arXiv논문
SWE-Doctor: 다각적 버그 재현 테스트의 런타임 진단을 통한 소프트웨어 엔지니어링 에이전트 가이드
SWE-Doctor는 다각적인 버그 재현 테스트(BRT)와 런타임 진단을 활용하여 소프트웨어 이슈를 해결하는 에이전트 프레임워크입니다. 기존의 단순 BRT 방식이 가진 한계를 극복하고, 런타임 진단 정보를 통해 패치 생성의 정확도를 높였습니다.
3일 전0
arXiv논문
Petrify: Java 바이트코드의 동시성 속성에 대한 Petri-net 기반 분석
Petrify는 Java 바이트코드의 동시성 속성을 분석하기 위해 Petri-net을 활용하는 새로운 자동화된 형식 검증 기술을 제안합니다. 이 방식은 표현력과 실용성 사이의 균형을 맞추어, 모든 버전의 Java 및 Kotlin 하위 집합 프로그램에 대해 효율적인 모델 체킹을 지원합니다.
3일 전0