Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
설계에 의한 신뢰(Trust by design) — 모듈화에 대한 찬사: 사례 연구
집단 적응형 시스템의 안전성과 신뢰성을 보장하기 위한 새로운 설계 방식을 제안합니다. 기존 검증 기술을 넘어 모듈화를 통해 시스템 속성을 합성하는 '설계에 의한 신뢰(Trust by design)' 방법론을 다룹니다.
6월 16일0
arXiv논문
소프트웨어 시스템의 재사용성을 증진하기 위한 메타데이터 기반 서비스 참조 아키텍처 (Reference Architecture)
서비스 기반 아키텍처의 재사용성을 높이기 위해 메타데이터를 활용한 참조 아키텍처(RA)를 제안합니다. 구조적 이질성으로 인한 서비스 중복 문제를 해결하며, 시나리오 기반 평가와 사례 연구를 통해 시스템 유지보수 효율성을 입증했습니다.
6월 16일0
arXiv논문
자원이 없는 언어(No Resource)? 자원이 없는 언어에서의 코드 생성(Code Generation)을 위한 LLM 평가 및 개선
학습 데이터가 거의 없는 '자원 없는 언어(No-resource languages)'를 위한 LLM 코드 생성 성능 평가 및 개선 방안을 연구합니다. 새로운 벤치마크를 구축하고, 추가 사전 학습과 가중치 차이 전이(weight diff transfer) 기술을 통해 지시 수행 능력을 유지하며 성능을 높이는 방법을 제안합니다.
6월 16일0
arXiv논문
소프트웨어 도구 탐색을 위한 LLM 가속 신속 검토 연구 -- 로그 이상 탐지 사례
LLM 스크리닝과 코딩 에이전트를 활용하여 소프트웨어 도구를 신속하게 탐색하고 검증하는 새로운 파이프라인을 제안합니다. 로그 이상 탐지 사례를 통해 연구의 효율성을 입증하였으며, 수동 작업 대비 높은 시간 절감 효과를 보여줍니다.
6월 16일0
arXiv논문
모델을 넘어: 프로젝트 기반 과정에서의 AI 지원 시스템 엔지니어링에 대한 고찰
AI 지원 시스템 엔지니어링 교육을 위한 프로젝트 기반 석사 과정의 설계와 구현을 다룬 연구입니다. 학생들이 모델 개발을 넘어 아키텍처 설계, 배포, 모니터링 등 시스템 통합 과정에서 겪는 어려움과 학습 결과를 분석했습니다.
6월 16일0
arXiv논문
뉴로-심볼릭 소프트웨어 검증: 대규모 심볼릭 추론을 통한 로컬 언어 모델의 성능 강화
로컬 환경에서 실행 가능한 오픈 웨이트 모델과 ESBMC 검증 도구를 결합한 뉴로-심볼릭 파이프라인 VerIbmc를 제안합니다. 클라우드 API 의존성 없이 개인정보를 보호하며, 심볼릭 불변량 합성을 통해 소프트웨어 검증 성능을 크게 향상시킵니다.
6월 16일0
arXiv논문
더 빠른 코드, 더 깊은 부채? LLM 지원 소프트웨어 개발에서의 기술 부채 및 초기 징후에 관한 다성적 문헌 고찰
LLM 지원 코딩 도입으로 발생하는 기술 부채의 유형과 완화 전략을 다성적 문헌 고찰을 통해 분석한 연구입니다. 기존의 코드 및 설계 부채 외에도 프롬프트, 윤리, 데이터 등 LLM 특유의 새로운 부채 유형을 식별했습니다.
6월 16일0
arXiv논문
지식 기반의 멀티 에이전트 LLM 트레이스 제로-리플레이 디버깅 (Knowledge-Based Zero-Replay Debugging of
멀티 에이전트 LLM 시스템의 디버깅 비용을 줄이기 위해 지식 그래프를 활용한 '제로-리플레이' 예측 방식을 제안합니다. 리플레이를 직접 수행하지 않고도 어떤 이벤트가 시스템에 큰 영향을 미치는지 예측하여 디버깅 효율성을 극대화합니다.
6월 16일0
arXiv논문
재현 가능한 데이터 분석을 위한 Pandas: 스프레드시트에서 연구 수준의 Python 워크플로로
스프레드시트 방식의 한계를 극복하기 위해 Python의 pandas를 활용한 재현 가능한 데이터 분석 워크플로를 제안합니다. Excel과 pandas를 상호 보완적인 도구로 정의하며, 데이터의 검증, 버전 관리 및 자동화를 위한 체계적인 가이드를 제공합니다.
6월 16일0
arXiv논문
정확성을 넘어: 에이전트적 판단(Agentic Judgment)을 통한 확장 가능한 레이블링으로 코드 LLM의 아키텍처 추론 능력 향상
코드 LLM의 아키텍처 추론 능력을 높이기 위해 에이전트적 판단(Agentic Judgment) 파이프라인을 제안합니다. ACJ와 AQJ라는 두 가지 판단기를 통해 아키텍처 복잡도와 품질을 평가하며, 이를 통해 미세 조정된 Qwen 모델이 SWE-bench Verified에서 높은 성능 향상을 보였습니다.
6월 16일0
arXiv논문
인간, 에이전트 및 툴링을 위한 사양 (Specifications)
소프트웨어 개발에서 의도와 제약 조건을 명확히 전달하는 사양(Specifications)의 중요성을 다룹니다. 특히 에이전트형 AI 시스템의 보안과 코딩 과제를 해결하기 위해 설계된 Bosque API(BAPI) 생태계를 소개합니다.
6월 16일0
arXiv논문
프로그램 분석을 위한 은하수를 여행하는 히치하이커를 위한 안내서, 제3부: 대체로 무해한 LLM들
LLM을 활용한 프로그램 버그 분석 시 발생하는 근거의 불확실성을 해결하기 위해, LLM의 추론과 형식 분석을 분리한 시스템 'Evident'를 제안합니다. Evident는 LLM이 분석 하네스를 구축하면 백엔드 분석기가 도달 가능성을 검증하는 방식으로 작동하여 오탐을 효과적으로 제거합니다.
6월 16일0
arXiv논문
AI 주도 소프트웨어 개발: 에이전트 기반 개발 프로세스로 향하는 실용적인 경로
생성형 AI를 활용하여 요구사항 정의부터 유지보수까지 소프트웨어 개발 전 과정에 AI를 통합하는 실용적인 조직 프레임워크를 제안합니다. 단순 코드 완성을 넘어 에이전트 기반의 통제된 개발 프로세스로 전환하기 위한 기술적, 조직적 메커니즘을 다룹니다.
6월 16일0
arXiv논문
에이전트 기능의 위험성: 개발자들이 에이전트 AI 제품의 리스크를 인식, 우선순위 지정 및 해결하는 방식
에이전트 AI 개발자들이 자율성과 도구 사용 등 에이전트 특성에서 발생하는 리스크를 어떻게 인식하고 관리하는지 분석한 연구입니다. 개발자들은 사회적 리스크보다 제품 및 비즈니스 리스크를 우선시하며, 역량과 리스크 제어 사이의 긴장 관계를 겪고 있습니다.
6월 16일0
arXiv논문
Assurance Case를 위한 정량적 신뢰도 평가 방법의 확장성 분석
Assurance Case에 정량적 신뢰도 평가를 적용할 때 발생하는 의사결정 복잡도와 노력의 확장성을 분석하는 모델을 제안합니다. BBN, DST, Certus 등 기존 방법론을 비교하여 논거 크기에 따른 효율성을 검증했습니다.
6월 16일0
arXiv논문
SDVDiag: 소프트웨어 정의 차량(SDV)의 온라인 진단을 위한 멀티모달 인과 관계 발견 (Multimodal Causal
SDVDiag는 소프트웨어 정의 차량(SDV)의 장애 원인을 분석하기 위한 멀티모달 인과 관계 발견 파이프라인을 제안합니다. 로그와 메트릭 데이터를 공유 임베딩 공간으로 융합하여 온라인 환경에서 실시간으로 근본 원인을 추적합니다.
6월 16일0
arXiv논문
Snyk VulnBench JS 1.0: LLM은 동일한 버그를 두 번 찾을 수 있는가?
Snyk VulnBench JS 1.0을 통해 에이전트형 LLM의 보안 취약점 탐지 반복 가능성을 실험했습니다. 연구 결과, LLM의 추가 탐지 결과는 불균일한 반면, Claude와 같은 모델이 기존 SAST 도구와 일치하는 결과는 높은 안정성을 보였습니다.
6월 16일0
arXiv논문
팔각형 추상 도메인 (Octagonal Abstract Domains)의 최소 비교
본 연구는 Octagons 추상 도메인에서 가짜 제약 조건을 제거하기 위한 새로운 알고리즘을 제안합니다. 6,930개의 불변량을 비교 분석하여 Octagons의 표현력이 불변량 정밀도에 미치는 영향을 평가하고, 최소 비교를 통해 도메인 간의 관계를 재정립했습니다.
6월 16일0
arXiv논문
당신의 AI 코딩 에이전트 팀원에게 프로그래밍 언어는 여전히 중요한가? 체스 엔진을 통한 대규모 증거
프런티어 코딩 에이전트가 다양한 프로그래밍 언어에서 체스 엔진을 생성할 수 있는지 연구한 사례입니다. 에이전트는 17개 언어에서 작동 가능한 엔진을 생성하며 다국어 능력을 입증했으나, 언어의 특성에 따라 성능과 비용, 구현 방식에 차이가 있음을 확인했습니다.
6월 15일0
arXiv논문
스프레드시트에서의 다음 동작 예측 평가를 위한 벤치마크 및 프레임워크
스프레드시트 환경에서 사용자의 다음 동작을 예측하기 위한 새로운 벤치마크와 프레임워크를 제안합니다. LLM 정제 기술을 통해 12K개의 동작 시퀀스를 구축하고, 온라인 평가 방식을 통해 다양한 예측 모델의 성능을 분석합니다.
6월 15일0