· software
[Paper] 증폭기 또는 이퀄라이저? 소프트웨어 공학 프로젝트 기반 학습에서 LLM 진화에 대한 종단 연구
LLM이 소프트웨어 개발을 재편함에 따라, LLM 기반 실천을 SE 교육에 통합하는 것이 필수가 되었다. 기존 연구들은 LLM의 교육…
-
- · software
[Paper] SV-LIB 1.0: 소프트웨어 검증 작업을 위한 표준 교환 형식
지난 20년 동안, C, C++와 같은 개별 언어에 대한 검증 도구 개발에 상당한 연구 및 개발 노력이 투자되었습니다.
- · software
[Paper] 대규모 언어 모델을 활용한 유닛 테스트 생성: 성취, 도전 과제, 그리고 앞으로의 길
Unit testing은 소프트웨어를 검증하고 회귀 위험을 완화하기 위한 필수적이면서도 노동집약적인 기술입니다. 고전적인 자동화 방법은 효과적으로 ...
- · software
[Paper] 소프트웨어 공학에서 데이터셋 적응을 위한 다중 에이전트 시스템: 능력, 제한점 및 향후 방향
소프트웨어 엔지니어링(SE) 연구 산출물을 데이터셋 간에 자동으로 적응시키는 것은 확장성과 재현성을 위해 필수적이지만, 아직도 규모가 크다...
- · software
[Paper] 경량 모델 편집을 통한 LLM의 폐기된 API 권고 수정
대규모 코드 코퍼스에 대해 사전 학습되었거나 파인튜닝된 대형 언어 모델(LLM)은 코드 완성 작업에서 강력한 성능을 보여주었습니다. 그러나 그들의 embe...
- · software
[Paper] 소프트웨어 설계 역량에 대한 계층적 평가 – Large Language Models of Code
대형 언어 모델(LLMs)은 소프트웨어 엔지니어링 분야에서 점점 더 많이 채택되고 있지만, 핵심 소프트웨어 설계 개념에 대한 그들의 이해가 얼마나 견고한지는 아직 불확실합니다.
- · software
죄송합니다만, 번역하려는 전체 텍스트를 제공해 주시겠어요? 소스 링크와 함께 번역이 필요한 본문 전체가 필요합니다. 감사합니다.
Existing C to Rust translation techniques fail to balance quality and scalability: transpilation-based approaches scale to large projects but produce code with ... → 기존 C에서 Rust로의 변환 기술은 품질과 확장성의 균형을 맞추지 못합니다: 트랜스파일 기반 접근 방식은 대규모 프로젝트에 확장 가능하지만 코드가 ... 로 생성됩니다.
- · software
[Paper] 성능 프로파일링을 통한 가속기 컴파일러 이해
Accelerator design languages (ADLs), high-level languages that compile to hardware units, help domain experts quickly design efficient application-specific hard... 가속기 설계 언어(ADL)는 하드웨어 유닛으로 컴파일되는 고수준 언어로, 도메인 전문가가 효율적인 응용 프로그램 전용 하드웨어를 빠르게 설계하도록 돕습니다.
- · software
[Paper] 사양 후보를 좁히기 위한 테스트 케이스 합성
이 논문은 대안 집합 중에서 최적의 형식 사양 후보를 선택하는 데 도움이 되는 기술을 제안한다. 사양 집합이 주어지면, 우리의 기술은…
- · software
[Paper] LLMs 기반 실시간 결함 주입: 지능형 결함 테스트 케이스 생성을 위한 접근법
자동차 소프트웨어 시스템(ASSs)의 안전성 평가 및 실시간 검증을 위한 잘 알려진 테스트 방법은 Fault Injection(FI)이다. 이에 따라...
- · software
[Paper] LLMAID: Android 앱에서 LLMs를 사용한 AI 기능 식별
인공지능(AI)의 최근 발전과 모바일 소프트웨어 애플리케이션에의 광범위한 통합은 큰 주목을 받아왔으며, highli...
- · software
[Paper] 딥러닝 컴파일러를 위한 최적화 인식 테스트 생성
Deep Learning (DL) 컴파일러는 다양한 하드웨어에 효율적으로 배포하기 위해 DL 모델을 최적화하는 데 널리 활용되어 왔습니다. DL에서의 중요한 역할 때문에…