Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
Archer: 컴파일러 최적화를 위한 에이전트 기반 리뷰를 향하여
컴파일러 최적화 과정의 코드 리뷰를 자동화하기 위한 에이전트 기반 도구인 Archer를 제안합니다. LLVM 프로젝트를 대상으로 실험한 결과, Archer는 기존 PR에서 의미론적 버그를 효과적으로 발견하며 실질적인 리뷰어로서의 가치를 입증했습니다.
2일 전0
arXiv논문
코드 복잡성과 신규 참여자의 분리: 오픈 소스 소프트웨어(OSS)에서의 AI 코딩 에이전트 도입에 관한 인과적 연구
AI 코딩 에이전트 도입이 오픈 소스 프로젝트의 신규 참여자를 몰아낼 것이라는 우려를 인과적 연구를 통해 검증했습니다. 연구 결과, 에이전트 도입으로 코드 복잡성은 다소 상승했으나 신규 참여자의 유입이나 유지율에는 부정적인 영향이 없음을 확인했습니다.
2일 전0
arXiv논문
소프트웨어 결함 예측 이해: 불확실성 정량화 및 성능 평가에 관한 대규모 실증 연구
소프트웨어 결함 예측(SDP)에서 불확실성 정량화(UQ) 지표의 신뢰성을 검증하기 위해 16개 분류기와 다양한 지표를 대상으로 대규모 실증 연구를 수행했습니다. 연구 결과, UQ의 성능은 프로젝트 내(WPDP)와 프로젝트 간(CPDP) 환경에 따라 문맥 의존성이 매우 높게 나타났습니다.
2일 전0
arXiv논문
유지보수 우선순위 결정을 위한 기술 부채 마찰: 산업 현장의 다중 사례 연구
본 논문은 소프트웨어 유지보수 및 리팩터링의 우선순위를 결정하기 위한 '기술 부채 마찰(technical debt friction)' 개념을 제안하고 산업 현장의 다중 사례 연구를 통해 검증합니다. 연구 결과, 기술 부채 마찰은 기술적 및 사회-기술적 관점과 결합될 때 유지보수 부담을 추론하는 유용한 의사결정 지원 도구로 활용될 수 있음을 보여줍니다.
2일 전0
arXiv논문
다회차 LLM 프로그래밍 대화에서의 회귀 누적 (Regression Accumulation)
다회차 LLM 프로그래밍 대화에서 발생하는 '회귀 누적(Regression Accumulation)' 현상을 연구한 논문입니다. 새로운 코드 제안이 이전 요구사항을 깨뜨리는 문제를 분석하고, 이를 해결하기 위한 검증 게이트(Verification Gate) 전략의 효과를 입증했습니다.
2일 전0
arXiv논문
LLM 통합 애플리케이션을 위한 복잡도 지표의 재고: 소스 코드를 넘어
LLM 통합 애플리케이션의 복잡도를 코드와 프롬프트 계층 모두에서 평가하는 새로운 도구 HECATE를 제안합니다. Hoare-logic에서 영감을 받은 '명세로서의 프롬프트' 개념을 통해 프롬프트 계층의 복잡도가 유지보수에 미치는 영향을 입증했습니다.
2일 전0
arXiv논문
F-Droid 생태계에서의 빌드 재현성(Build Reproducibility) 이해
F-Droid 생태계 내 오픈 소스 Android 앱의 빌드 재현성을 분석한 첫 번째 실증적 연구입니다. 연구 결과, 앱의 비트 단위 재현성은 대체로 유지되나, 의존성 누락으로 인해 시간이 흐름에 따라 재빌드 가능성 자체가 저하되는 현상을 확인했습니다.
2일 전0
arXiv논문
AI는 인간의 검토 속도보다 빠르게 작성한다: 기업의 2배 생산성 명령에 대한 종단적 연구
AI 코딩 도구 도입이 개발자의 생산성에 미치는 영향을 분석한 종단적 연구입니다. 기업의 '2배 생산성' 명령 이후 1인당 풀 리퀘스트 처리량이 약 2.09배 증가했음을 정량적으로 입증했습니다.
2일 전0
arXiv논문
코드 저장소 내 LLM 생성 코드 및 주석에 관한 탐색적 연구
LLM이 생성한 코드와 주석의 특성을 기업 및 커뮤니티 유지 저장소를 대상으로 탐색적으로 연구한 논문입니다. LLM 생성 코드의 감소 추세, 코드 클론 현상, 그리고 기업 저장소에서의 높은 생성 비율 등을 분석했습니다.
2일 전0
arXiv논문
텍스트 저장소 탐색을 넘어: 에이전트 기반 이슈 해결을 위한 이중 모달 구조적 추론
에이전트 기반 프로그램 수정 시 발생하는 텍스트 기반 탐색의 한계를 극복하기 위해, 시각적 추론을 도입한 DUALVIEW 프레임워크를 제안합니다. 네 가지 그래프 뷰를 통해 코드의 구조적 정보를 시각화하여 대규모 저장소에서의 이슈 해결 성능을 높였습니다.
2일 전0
arXiv논문
미지정(Underspecification)이 비일관성(Incoherence)을 의미하지는 않는다: 코딩 모델에서의 의미론적
LLM이 모호한 프롬프트를 받았을 때 비일관적인 결과 대신, 하나의 잘못된 해석으로 고착되는 '해로운 의미론적 붕괴' 현상을 분석한 연구입니다. 이 현상은 MBPP, HumanEval 등 주요 벤치마크의 신뢰성을 저해할 수 있음을 밝혀냈습니다.
2일 전0
arXiv논문
에픽 중심(Epic-Organized) vs 요구사항 정렬(Requirement-Aligned) Gherkin: LLM 기반 수락 기준 생성에
LLM을 활용한 Gherkin 수락 기준 생성 시, 에픽 중심(Epic-organized) 방식이 요구사항 정렬 방식보다 품질과 커버리지 면에서 우수함을 입증한 연구입니다. Timeless 파이프라인을 통해 구조적 유효성과 전문가 평가(정확성, 실행 가능성, 완전성)에서 더 높은 성과를 보였습니다.
2일 전0
arXiv논문
파일 수준의 복제는 오픈 소스에서의 암묵적 의존성이다
오픈 소스 생태계에서 발생하는 파일 수준의 복제가 공급망 가시성을 저해하고 보안 및 라이선스 위험을 초래함을 연구했습니다. World of Code 데이터를 통해 복제된 소스의 출처 불분명함과 보안 취약점(CVE) 노출 문제를 분석했습니다.
2일 전0
arXiv논문
코딩 에이전트는 추측하고 있다: 불충분하게 명시된 DevOps 지침에서의 행동 경계 위반 측정
LLM 코딩 에이전트가 불충분한 지침 하에서 안전 경계를 위반하는 현상을 측정하기 위한 새로운 벤치마크인 UnderSpecBench를 제안합니다. 연구 결과, 에이전트들은 지침이 모호할 때 실패하기보다 위험한 '추측'을 수행하여 행동 경계를 위반하는 경향을 보였습니다.
2일 전0
arXiv논문
확장 가능한 양자 프로그램을 통한 양자 소프트웨어 테스팅 (QST) 벤치마킹
양자 소프트웨어 테스팅(QST)의 체계적인 평가를 위해 확장 가능한 벤치마크 인프라스트럭처인 Qolumbina를 제안합니다. 기존의 제한적인 회로 수준 벤치마크를 넘어, 오픈 소스 프로그램을 기반으로 표준화된 테스트 환경과 새로운 평가 기준을 제공합니다.
2일 전0
arXiv논문
검증 가능한 리터러트 프로그래밍(Verifiable Literate Programming)을 통한 LLM 생성 코드의 인간 검증 가이드
LLM이 생성한 코드의 신뢰성을 높이기 위해 인간의 피드백을 활용하는 '검증 가능한 리터러트 프로그래밍(VLP)' 프레임워크를 제안합니다. 모호하지 않은 자연어 문서를 중간 계층으로 활용하여 사용자가 코드의 의도를 쉽게 검증하고 수정할 수 있도록 지원합니다.
2일 전0
arXiv논문
모델 편집(Model Editing)을 통한 대규모 언어 모델(LLM)의 패키지 환각(Package Hallucination) 완화
LLM이 존재하지 않는 패키지 이름을 생성하는 '패키지 환각' 문제를 해결하기 위한 경량 모델 편집 프레임워크 BOUND를 제안합니다. BOUND는 LoRA 어댑터를 사용하여 유효한 패키지 경계를 정교화함으로써 소프트웨어 공급망 공격 위험을 낮추고 코드 생성의 신뢰성을 높입니다.
2일 전0
arXiv논문
프롬프트 커버리지 적절성 (Prompt Coverage Adequacy)
LLM 및 자율 에이전트 기반 소프트웨어 개발 환경에 최적화된 새로운 테스트 지표인 '프롬프트 커버리지 적절성'을 제안합니다. 어텐션 메커니즘을 활용해 테스트 스위트가 프롬프트의 요구사항을 얼마나 충족하는지 측정하며, 기존 코드 커버리지보다 높은 결함 탐지 효율을 보여줍니다.
2일 전0
arXiv논문
차량 내 장면 이해를 위한 Vision Language Models의 탐색 기반 테스트
차량 내 장면 이해(ISU)를 위한 Vision Language Models(VLMs)의 성능을 평가하기 위해 렌더링 기반 장면 생성과 탐색 기반 테스트를 결합한 ISU-Test 프레임워크를 제안합니다. 이 방식은 테스트를 최적화 문제로 구성하여 다양한 시나리오를 생성하며, 기존 무작위 방식보다 훨씬 높은 실패율과 커버리지를 달성했습니다.
2일 전0
arXiv논문
안전성의 환상: AI 대 인간의 C++ 코드에 대한 다단계 검증
AI가 생성한 C++ 코드가 인간의 코드보다 런타임 위반을 일으킬 확률이 약 두 배 높다는 연구 결과를 발표합니다. VULBENCH-CPP 벤치마크를 통해 정적 분석만으로는 AI 코드의 보안 위험을 충분히 탐지할 수 없음을 입증했습니다.
3일 전0