Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 829건필터 해제
arXiv논문
R+R: 현재 LLM에서의 Java 보안 API 오용 재평가: JCA 및 JSSE API에 대한 외부 보안 지식을 활용한 재현 연구
최신 LLM인 GPT-5.5와 Llama-3.3-70B-Instruct가 생성하는 Java 보안 API(JCA, JSSE)의 오용 문제를 재현하고 분석한 연구입니다. 외부 보안 지식을 활용한 개선 효과를 실험하였으며, 모델의 성능과 지식 유형에 따라 보안 코드 생성 능력이 달라짐을 확인했습니다.
6월 1일0
arXiv논문
산업 자동화에서 대규모 언어 모델(LLM)을 이용한 래더 로직(Ladder Logic) 번역
산업 자동화 분야의 PLC 공급업체 간 래더 로직 번역 문제를 해결하기 위한 수학적 정식화와 LLM 기반 파이프라인을 제안합니다. Rockwell에서 Siemens로의 자동 번역을 위해 XML 추출, 구조적 정규화, 제약 조건 기반 생성 함수를 포함한 아키텍처를 설계했습니다.
6월 1일0
arXiv논문
LLM-in-the-Loop 취약점의 규명 및 수정을 향하여
LLM이 통합된 소프트웨어 시스템에서 발생하는 'LLM-in-the-loop' 취약점을 분석하기 위해 최초의 데이터셋인 LLMCVE를 제안합니다. 연구 결과, LLM은 취약점의 근본 원인보다는 타겟이나 전파 벡터로 작용하는 경우가 많으며, 기존 에이전트 기반 수정 도구들이 이러한 취약점을 해결하는 데 한계가 있음을 입증했습니다.
5월 29일0
arXiv논문
변환되었으나 동일하지는 않음: 관찰적 동등성을 통한 코드베이스 변환 벤치마킹
코딩 에이전트가 시맨틱 계약을 위반하면서도 표면적 검사만 통과하는 문제를 지적하며, 새로운 벤치마크인 T2J-Bench를 제안합니다. 이 벤치마크는 인터페이스, 수치적 정확성, 행동적 역학을 통해 코드베이스 변환의 실질적 동등성을 엄격히 검증합니다.
5월 29일0
arXiv논문
SCDBench: LLM 기반 스마트 컨트랙트 디컴파일러를 위한 벤치마크
LLM 기반 스마트 컨트랙트 디컴파일 성능을 평가하기 위한 새로운 벤치마크인 SCDBench를 소개합니다. 600개의 실제 Solidity 컨트랙트를 활용하여 형식 완결성부터 의미론적 일관성까지 4단계의 엄격한 평가 체계를 제공합니다.
5월 29일0
arXiv논문
일반화된 소프트웨어 제품 라인 추출 (Generalized Software Product Line Extraction)
기존 소프트웨어 제품 라인(SPL) 엔지니어링의 기술 종속성 문제를 해결하기 위해 워크벤치에 구애받지 않는 새로운 프로토콜을 제안합니다. '원자' 단위의 상향식 접근 방식을 통해 다양한 개발 환경에서도 기능 모델 추출과 제품 구성이 가능함을 입증했습니다.
5월 29일0
arXiv논문
Code-QA-Bench: 저장소 수준의 QA에서 코드 추론과 문서 암기를 분리하기
코드 이해 능력을 문서 암기 및 사전 학습된 지식과 분리하여 평가하는 자동화된 벤치마크 프레임워크인 Code-QA-Bench를 제안합니다. 이 프레임워크는 정답 우선 생성 파이프라인과 세 가지 실험 조건을 통해 저장소 수준의 코드 추론 능력을 정밀하게 측정합니다.
5월 29일0
arXiv논문
개인화된 코드 인텔리전스를 향한 여정: IDE 내 행동을 기반으로 한 개발자 프로파일링 및 지원
개발자의 행동 데이터를 기반으로 개인화된 코드 인텔리전스를 제공하는 VirtualME 프레임워크를 제안합니다. IDE 내 로그를 분석하여 개발자의 페르소나를 추출하고, 이를 Q&A 에이전트에 통합하여 기존 모델 대비 성능을 33.8% 향상시켰습니다.
5월 29일0
arXiv논문
오프로딩 스코어 (Offloading Score): 반사실적 워크플로우를 통한 AI 의존도 측정
AI 도구에 대한 의존도를 정량화하기 위해 반사실적 워크플로우를 활용한 '오프로딩 스코어(Offloading Score)'를 제안합니다. 기존의 자기 보고식 지표와 달리, 도구 사용 시 절약된 인지적 노력의 비율을 시뮬레이션하여 측정합니다. 사용자 연구를 통해 시간 압박 상황에서의 의존도 변화를 효과적으로 감지함을 검증했습니다.
5월 29일0
arXiv논문
CODEFUSE-DEBENCH: 가독성, 재컴파일 가능성 및 기능성에 관한 실증적 연구
기존의 구문 중심 평가를 넘어 가독성, 재컴파일 가능성, 기능성을 기준으로 디컴파일러 품질을 측정하는 새로운 프레임워크 DEBENCH를 제안합니다. LLM과 디컴파일러 엔진의 성능을 다각도로 분석하여 재사용성 확보의 어려움과 주요 실패 원인을 규명했습니다.
5월 29일0
arXiv논문
코딩 에이전트가 사용자에게 실패하는 방식: 20,574개의 실제 세션을 통한 개발자-에이전트 불일치(Misalignment)의 대규모 분석
20,574개의 실제 코딩 에이전트 세션을 분석하여 개발자와 에이전트 간의 불일치(misalignment) 현상을 연구했습니다. 에이전트의 실패 패턴을 형태, 원인, 비용, 해결의 네 가지 축으로 분류하고 실제 워크플로에서의 한계를 규명했습니다.
5월 29일0
arXiv논문
멀티모달 거대 언어 모델(MLLM)을 활용한 컨피규레이터 사용자 인터페이스(UI)의 사용성 분석
본 논문은 MLLM을 활용하여 컨피규레이터 UI의 사용성을 반자동화된 방식으로 분석하는 방법을 제안합니다. 18가지 특화 기준을 바탕으로 MLLM이 사용성 문제의 심각도를 평가하고 개선안을 도출할 수 있음을 입증했습니다.
5월 29일0
arXiv논문
ParaTool: 도구 표현(Tool Representations)을 컨텍스트에서 파라미터로 전환하기
ParaTool은 LLM의 도구 호출 시 발생하는 컨텍스트 오버헤드와 환각 문제를 해결하기 위해 제안된 프레임워크입니다. 도구 정보를 컨텍스트 문서 대신 로드 가능한 파라미터 세트로 전환하여 효율적인 도구 사용을 지원합니다.
5월 29일0
arXiv논문
GUITestScape: 탐색적 GUI 테스트의 오픈셋 평가를 향하여
탐색적 GUI 테스트를 위한 새로운 벤치마크인 GUITestScape와 오픈셋 평가기 GUIJudge를 제안합니다. 기존 평가 방식의 한계를 넘어 상호작용 및 디스플레이 결함을 모두 포함하며, 에이전트의 테스트 과정을 정밀하게 진단합니다.
5월 29일0
arXiv논문
Agora: LLM 에이전트를 활용한 프로덕션 수준 합의 프로토콜의 자율적 버그 탐지 연구
Agora는 합의 프로토콜의 복잡한 로직 버그를 탐지하기 위해 제안된 도메인 인지형 멀티 에이전트 프레임워크입니다. 가설 기반 테스트와 LLM 에이전트 간의 협업을 통해 기존 방식으로는 찾기 어려운 심층적인 프로토콜 오류를 성공적으로 찾아냈습니다.
5월 29일0
arXiv논문
측정에 대한 이의 제기: 양자 오류 완화 벤치마크에서의 통계적 아티팩트 (Statistical Artefacts)
양자 오류 완화(QEM) 연구의 통계적 엄밀성을 검토한 결과, 많은 논문이 추론 방법론과 불확실성 검증을 누락하고 있음을 발견했습니다. ZNE 사례 연구를 통해 매개변수 민감도와 하드웨어 드리프트가 결과의 타당성을 왜곡할 수 있음을 입증하며 새로운 평가 표준을 제안합니다.
5월 29일0
arXiv논문
소프트웨어 정의 차량(SDV)의 부상: 아키텍처, 핵심 기술 및 미래 기회
본 논문은 하드웨어 중심에서 소프트웨어 중심 플랫폼으로 전환되는 소프트웨어 정의 차량(SDV)의 아키텍처와 핵심 기술을 조사합니다. 분산형 ECU에서 중앙 집중형 컴퓨팅으로의 진화, 서비스 지향 아키텍처, SDIoV 패러다임 및 주요 기술적 과제를 다룹니다.
5월 29일0
arXiv논문
투영적 디코딩 (Projectional Decoding): 의미론적 인지 LLM 생성을 향하여
LLM이 생성한 소프트웨어 산출물의 의미론적 타당성을 보장하기 위한 '투영적 디코딩(Projectional Decoding)' 프레임워크를 제안합니다. 텍스트와 부분 그래프 모델을 동시에 유지하여 도메인 의미론을 생성 과정에 직접 통합하고 점진적인 검증을 가능하게 합니다.
5월 29일0
arXiv논문
심볼릭 라이브러리 해결을 통한 동적 로드 코드의 제어 흐름 그래프 (Control Flow Graph) 복구
동적 코드 로딩을 사용하는 악성코드의 정적 분석 한계를 극복하기 위해 심볼릭 실행과 투기적 라이브러리 프리로딩을 결합한 새로운 CFG 복구 기술을 제안합니다. 이 방법론은 심볼릭 실행 중 동적 로딩을 가로채어 실제 라이브러리를 로드함으로써 정밀한 제어 흐름 그래프를 복구합니다.
5월 29일0
arXiv논문
TagDebt: 기술 부채 (Technical Debt) 관리를 지원하는 봇
기술 부채(Technical Debt) 관리를 위해 GitHub 이슈에 자동으로 라벨을 할당하는 봇인 TagDebt를 제안합니다. 디자인 사이언스 연구와 실무자 인터뷰를 통해 봇의 유용성과 사용 용이성을 검증하였으며, 기존 워크플로에 통합 가능한 TDM 도구로서의 가능성을 확인했습니다.
5월 29일0