Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
경험적 소프트웨어 공학에서의 피어 리뷰 현황: 리뷰 부하, 품질 및 생성형 AI 사용에 관한 커뮤니티 조사
경험적 소프트웨어 공학(ESE) 분야의 피어 리뷰 현황을 조사한 연구입니다. 논문 제출 증가와 생성형 AI 사용 급증으로 인한 리뷰 부하 및 품질 저하 문제를 다루며, 커뮤니티의 설문 결과를 바탕으로 개선 방향을 제시합니다.
6월 4일0
arXiv논문
UModel: 대규모 에이전트 대응형 관측 가능성 데이터 모델링 방법론
LLM 에이전트의 효과적인 근본 원인 분석(RCA)을 위해 데이터 중심에서 객체 중심 모델링으로 전환하는 UModel 프레임워크를 제안합니다. 시맨틱 그래프와 U-SPL 쿼리 인터페이스를 통해 파편화된 데이터를 통합하고 시스템 탐색 능력을 강화합니다.
6월 4일0
arXiv논문
Code Lifespan Survival Analysis (CLSA): AST 인지 마이닝을 이용한 소스 코드 라인의 생존 예측
개별 소스 코드 라인의 삭제 시점을 예측하는 최초의 프레임워크인 CLSA를 소개합니다. AST 구조와 라인 엔트로피 등 정적 요소를 활용해 코드의 생존 기간을 모델링하며, 유지보수 및 기술 부채 관리에 기여합니다.
6월 4일0
arXiv논문
TeleSWEBench: 통신 분야에서의 LLM 기반 소프트웨어 엔지니어링 평가를 위한 커밋 기반 벤치마크
통신 도메인의 복잡한 소프트웨어 엔지니어링 능력을 평가하기 위한 최초의 커밋 기반 벤치마크인 TeleSWEBench를 제안합니다. srsRAN 5G 저장소의 실제 커밋을 활용하며, LLM 기반 평가 프레임워크인 TeleJudge를 통해 에이전트의 성능을 다각도로 측정합니다.
6월 4일0
arXiv논문
소프트웨어 공학 학생들이 연구 논문 작성을 위해 LLM을 사용하는 방식: 경험 보고서
소프트웨어 공학 학생들이 연구 논문 작성 과정에서 LLM을 활용한 교육적 경험을 분석한 보고서입니다. 학생들은 브레인스토밍, 방법론 명확화, 글쓰기 개선 등에 LLM을 사용했으며, 동시에 생성된 콘텐츠의 정확성 검증에 대한 우려도 함께 보고되었습니다.
6월 4일0
arXiv논문
다음에 무엇을 테스트할 것인가: 자율주행 VLM의 해석 가능한 커버리지 격차 발견
자율주행 VLM의 검증을 위해 누락된 테스트 영역을 식별하는 SliceScorer와 SliceNav를 제안합니다. SliceScorer는 노출 기반 및 이웃 실패 사전 확률을 결합하여 위험한 테스트 슬라이스를 추천하며, SliceNav는 LLM을 통해 검증 워크플로우를 자동화합니다.
6월 3일0
arXiv논문
Rocq에서 Metal까지: 형식 검증된 마이크로컨트롤러 펌웨어를 위한 파이프라인
안전 필수 시스템을 위해 Rocq를 활용하여 형식 검증된 마이크로컨트롤러 펌웨어를 구축하는 새로운 파이프라인을 제안합니다. 베어메탈 CPS 가상 머신인 Encore!를 통해 임베디드 환경에서도 검증된 코드를 실행할 수 있는 방법을 제시합니다.
6월 3일0
arXiv논문
비즈니스 중심 LLM 시스템을 위한 수락 테스트 주도 평가 프로토콜
LLM 애플리케이션의 신뢰성을 확보하기 위해 수락 테스트 주도 개발(ATDD)을 적용한 새로운 평가 프로토콜을 제안합니다. 비즈니스 요구사항을 행동 계약과 릴리스 게이트로 변환하여, 모델이나 프롬프트 변경 시 안정적인 시스템 운영을 보장합니다.
6월 3일0
arXiv논문
멀티모달 사용자 인터페이스 툴킷을 위한 벤치마킹 프레임워크: 모달리티 커버리지, 개발자 워크플로우 및 실험 지원 비교
멀티모달 사용자 인터페이스(Multimodal UI) 툴킷을 체계적으로 비교하기 위한 새로운 벤치마킹 프레임워크를 제안합니다. 모달리티 커버리지, 개발자 워크플로우, 실험 지원이라는 세 가지 차원을 통해 기존 툴킷들의 성능과 유용성을 평가하는 구조화된 템플릿을 제공합니다.
6월 3일0
arXiv논문
티끌 모아 태산: Android 앱 개발에서의 데이터 최소화 원칙에 관한 코드 중심 실증 연구
Android 앱 개발 시 데이터 최소화 원칙을 코드 수준에서 구현하기 위한 실증 연구를 소개합니다. 1,114개의 오픈 소스 앱과 9,875개의 APK를 분석하여 31가지 코딩 가이드라인을 도출했습니다. 또한 LLM 기반 코드 생성 시 발생하는 개인정보 보호 위험을 확인하고, 가이드라인 적용을 통한 해결 방안을 제시합니다.
6월 3일0
arXiv논문
BlobShuffle: Kafka Streams를 예시로 한 객체 스토리지 기반 스트림 처리 시스템의 비용 효율적인 재분할
BlobShuffle은 클라우드 객체 스토리지를 활용하여 스트림 처리 시스템의 셔플링 비용을 획기적으로 절감하는 새로운 접근 방식을 제안합니다. Kafka Streams의 애드온 형태로 구현되어 기존 인프라 수정 없이도 높은 비용 효율성과 성능을 제공합니다.
6월 3일0
arXiv논문
SkillGuard: 에이전트 기술(Skill)을 위한 권한 프레임워크
LLM 에이전트의 기술(Skill) 사용 시 발생하는 보안 및 개인정보 보호 위험을 해결하기 위한 SkillGuard 프레임워크를 제안합니다. 이 모델은 기술의 선언된 의도와 실제 실행 동작을 연결하는 이중 평면 거버넌스를 통해 문맥 주입 공격을 효과적으로 방어합니다.
6월 3일0
arXiv논문
SPOQ: 멀티 에이전트 소프트웨어 엔지니어링을 위한 전문가 오케스트레이션 큐잉
SPOQ는 멀티 에이전트 시스템의 조정 오버헤드와 품질 문제를 해결하기 위한 새로운 오케스트레이션 방법론입니다. 웨이브 기반 디스패치, 이중 검증 게이트, 인간 참여형(HaaA) 구조를 통해 소프트웨어 엔지니어링 작업의 속도와 정확도를 획기적으로 높였습니다.
6월 3일0
arXiv논문
AlgoTouch: 명령형 프로그램의 점진적 구축을 위한 실행 중심 접근 방식
AlgoTouch는 텍스트 기반 코딩 대신 데이터 변환 실행을 통해 명령형 프로그램을 점진적으로 구축하는 새로운 시스템을 제안합니다. 실행 동작으로부터 제어 구조를 결정론적으로 합성하여 Python, C, Java 등 다양한 언어에서 정확한 코드를 생성합니다.
6월 3일0
arXiv논문
신경망 기반 변경 예측: 소프트웨어 변경 사항과 그 효과 간의 관계 규명
소프트웨어 변경 사항과 그에 따른 동적 효과 사이의 관계를 학습하고 예측하는 '신경망 기반 변경 예측(Neural Change Prediction)' 기술을 제안합니다. 코드 실행 없이 의미론적 변화를 예측하는 과제를 해결하며, 코드 수정 위치 식별 및 효과 예측에 활용 가능합니다.
6월 3일0
arXiv논문
Embodied AI의 신뢰성 확보: 테스트에서 형식 검증(Formal Verification)까지의 커뮤니티 아젠다
Embodied AI의 신뢰성 확보를 위한 AAAI'26 Bridge Program의 논의를 다룹니다. 시나리오 기반 테스트, 구성적 검증, 런타임 보증을 통합하여 복잡한 환경에서도 안전한 AI 시스템을 구축하는 워크플로우를 제안합니다.
6월 3일0
arXiv논문
DDOR: 설명 가능한 과잉 거부 테스트 및 수정을 위한 델타 디버깅
LLM의 과잉 거부 현상을 해결하기 위한 자동화된 프레임워크 DDOR을 제안합니다. 델타 디버깅을 통해 거부를 유발하는 최소 단위의 파편을 찾아내고, 이를 바탕으로 테스트 스위트 생성 및 프롬프트 수정을 수행하여 모델의 사용성을 높입니다.
6월 3일0
arXiv논문
인간-AI 협업과 소프트웨어 엔지니어링 업무의 변화
GenAI와 Agentic AI의 도입으로 소프트웨어 엔지니어링 패러다임이 코드 저작에서 시스템 지시 및 거버넌스로 변화하고 있음을 분석합니다. 연구를 통해 전통적, 생성형 AI 기반, 에이전트 기반의 세 가지 패러다임을 정의하고 미래 엔지니어에게 필요한 역량 프레임워크를 제시합니다.
6월 3일0
arXiv논문
Simulink Requirements Tables 내 사이버 물리 시스템(CPS) 요구사항의 자동 수리
본 논문은 사이버 물리 시스템(CPS) 개발 과정에서 발생하는 시스템 구현과 요구사항 간의 불일치 문제를 해결하기 위한 프레임워크를 제안합니다. 시스템 실행 데이터를 활용하여 MATLAB Simulink Requirements Tables 기반의 선언적 요구사항을 자동으로 수리함으로써 준수성을 복구합니다.
6월 3일0
arXiv논문
지식 모델의 에이전트 기반 생성 및 진화
복잡한 소프트웨어 시스템의 안전한 진화를 위해 살아있는 지식 모델(living KMs)을 구축하는 TrustModel 프레임워크를 제안합니다. 이 모델은 모델링, 적합성 평가, 진화라는 세 가지 에이전트 하위 시스템을 통해 지식 모델을 지속적으로 업데이트하고 동기화합니다.
6월 3일0