'Software Engineering' 태그의 모든 글
📝 원문 정보 Title: Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics ArXiv ID: 2601.02200 발행일: 2026-01-05 저자: Markus Borg, Nadim Hagatulah, Adam Tornhill, Emma Söderberg 📝 초록 (Abstract) 우리는 인간 개발자와 AI 코딩 에이전트가 동일한 코 …
📝 원문 정보 Title: LLM-Empowered Functional Safety and Security by Design in Automotive Systems ArXiv ID: 2601.02215 발행일: 2026-01-05 저자: Nenad Petrovic, Vahid Zolfaghari, Fengjunjie Pan, Alois Knoll 📝 초록 (Abstract) 본 논문은 소프트웨어 정의 차량(SDV) 개발을 지원하는 LLM 기반 …
📝 원문 정보 Title: Adaptive Hierarchical Evaluation of LLMs and SAST tools for CWE Prediction in Python ArXiv ID: 2601.01320 발행일: 2026-01-04 저자: Muntasir Adnan, Carlos C. N. Kuhn 📝 초록 (Abstract) 대형 언어 모델(LLM)은 소프트웨어 개발에 널리 활용되고 있으나, 취약한 코드를 생성하는 경우가 빈번합니 …
📝 원문 정보 Title: RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian ArXiv ID: 2601.01129 발행일: 2026-01-03 저자: Kla Tantithamthavorn, Yaotian Zou, Andy Wong, Michael Gupta, Zhe Wang, Mike Buller, Ryan …
📝 원문 정보 Title: In Line with Context: Repository-Level Code Generation via Context Inlining ArXiv ID: 2601.00376 발행일: 2026-01-01 저자: Chao Hu, Wenhao Zeng, Yuling Shi, Beijun Shen, Xiaodong Gu 📝 초록 (Abstract) 저장소 수준 코드 생성은 전체 코드베이스를 이해하고 함수·클래스·모듈 간 복잡 …
📝 원문 정보 Title: Localized Calibrated Uncertainty in Code Language Models ArXiv ID: 2512.24560 발행일: 2025-12-31 저자: David Gros, Prem Devanbu 📝 초록 (Abstract) 대형 언어 모델(LLM)은 자연어 프롬프트로부터 복잡한 소스 코드를 생성할 수 있다. 그러나 생성된 코드는 사용자의 의도와 어긋나는 경우가 빈번해 추가적인 감독과 수정이 필 …
📝 원문 정보 Title: Hybrid-Code: A Privacy-Preserving, Redundant Multi-Agent Framework for Reliable Local Clinical Coding ArXiv ID: 2512.23743 발행일: 2025-12-26 저자: Yunguo Yu 📝 초록 (Abstract) 임상 코딩(ICD‑9/10)의 자동화는 행정 부담을 크게 경감시킬 잠재력이 있지만, 기존 최첨단 방법은 GPT‑4와 같 …
📝 원문 정보 Title: Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework ArXiv ID: 2001.11507 발행일: 2024-08-28 저자: E. de Gelder, J.-P. Paardekooper, A. Khabbaz Saberi, H. Elrofai, O. Op den …
📝 원문 정보 Title: Model-Based Cloud Resource Management with TOSCA and OCCI ArXiv ID: 2001.07900 발행일: 2020-10-07 저자: Stephanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski and Philippe Merle 📝 초록 (Abstract) 클라우드 컴퓨팅의 도입과 함께 다양한 클 …
📝 원문 정보 Title: Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities ArXiv ID: 2001.08236 발행일: 2020-08-18 저자: Tao Chen, Miqing Li, Ke Li, and Kalyanmoy Deb 📝 초록 (Abstract) Search-Based 소프트 …
📝 원문 정보 Title: Benchmarking Symbolic Execution Using Constraint Problems – Initial Results ArXiv ID: 2001.07914 발행일: 2020-07-20 저자: Sahil Verma, Roland H.C. Yap 📝 초록 (Abstract) 심볼릭 실행은 버그 탐지와 프로그램 테스트에 강력한 기술입니다. 실제로 작동하는 코드에서 버그를 찾는 데 성공했습니다. …
📝 원문 정보 Title: TarTar: A Timed Automata Repair Tool ArXiv ID: 2002.02760 발행일: 2020-05-13 저자: Martin Koelbl (1) and Stefan Leue (1) and Thomas Wies (2) ((1) University of Konstanz, (2) New York University) 📝 초록 (Abstract) TarTar는 타이밍 진단 추적(TDT)을 분석하여 …
📝 원문 정보 Title: SMT-Friendly Formalization of the Solidity Memory Model ArXiv ID: 2001.03256 발행일: 2020-04-20 저자: Akos Hajdu, Dejan Jovanovic 📝 초록 (Abstract) Solidity는 이더리움 스마트 컨트랙트에 가장 많이 사용되는 프로그래밍 언어입니다. 본 논문은 Solidity 언어의 메모리 모델을 고수준으로 정형화하는 것을 제시합 …
📝 원문 정보 Title: Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline ArXiv ID: 2001.07076 발행일: 2020-04-02 저자: Tao Chen, Rami Bahsoon, and Xin Yao 📝 초록 (Abstract) 자기 인식 및 자기 적응 소프트웨어 시스템을 재사용 가능한 방식 …
📝 원문 정보 Title: Towards Fault Localization via Probabilistic Software Modeling ArXiv ID: 2001.07409 발행일: 2020-03-05 저자: Hannes Thaller, Lukas Linsbauer, Alexander Egyed, Stefan Fischer 📝 초록 (Abstract) 소프트웨어 테스팅은 개발자들이 버그를 식별하는 데 도움을 줍니다. 그러나 버그에 대한 인식 …
📝 원문 정보 Title: Machine Learning and value generation in Software Development: a survey ArXiv ID: 2001.08980 발행일: 2020-01-27 저자: Barakat. J. Akinsanya, Luiz J.P. Araujo, Mariia Charikova, Susanna Gimaeva, Alexandr Grichshenko, Adil Khan, Manuel …
📝 원문 정보 Title: In-The-Field Monitoring of Functional Calls: Is It Feasible? ArXiv ID: 2001.07283 발행일: 2020-01-22 저자: Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani 📝 초록 (Abstract) 장치에서 실행 중인 애플리케이션이 호출하는 함수 시퀀스에 대한 데이터를 수집하면 실패 재현, …
📝 원문 정보 Title: Towards Semantic Clone Detection via Probabilistic Software Modeling ArXiv ID: 2001.07399 발행일: 2020-01-22 저자: Hannes Thaller, Lukas Linsbauer, Alexander Egyed 📝 초록 (Abstract) 형태적 클론은 동일한 기능을 수행하지만 텍스트 표현이 다른 프로그램 구성 요소입니다. 형태적 유사성을 감지하 …
📝 원문 정보 Title: Vis-a-Vis: Visual Exploration of Visualization Source Code Evolution ArXiv ID: 2001.02092 발행일: 2020-01-08 저자: Fabian Bolte and Stefan Bruckner 📝 초록 (Abstract) 시각화 프로토타입을 개발하는 알고리즘은 일반적으로 다양한 개발 단계와 설계 결정을 직접 비교하고, 심지어 미세한 수정도 결과에 크게 영향 …
📝 원문 정보 Title: Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions ArXiv ID: 1910.13592 발행일: 2019-10-31 저자: Leila Ribeiro, Lucio Duarte, Rodrigo Machado, Andrei Costa, Erika Cota, Jonas Bezerra 📝 초록 …
📝 원문 정보 Title: Obsidian: Typestate and Assets for Safer Blockchain Programming ArXiv ID: 1909.03523 발행일: 2019-09-10 저자: Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan …
📝 원문 정보 Title: Slither: A Static Analysis Framework For Smart Contracts ArXiv ID: 1908.09878 발행일: 2019-08-28 저자: Josselin Feist, Gustavo Grieco and Alex Groce 📝 초록 (Abstract) 이 논문은 Ethereum 스마트 계약에 대한 풍부한 정보를 제공하기 위해 설계된 정적 분석 프레임워크인 Slither에 대해 설명합니 …
📝 원문 정보 Title: sql4ml A declarative end-to-end workflow for machine learning ArXiv ID: 1907.12415 발행일: 2019-08-05 저자: Nantia Makrynioti, Ruy Ley-Wild, Vasilis Vassalos 📝 초록 (Abstract) 본 논문에서는 기계 학습(ML) 모델을 SQL로 표현하고 이를 TensorFlow에서 자동으로 훈련시키는 시스템인 …
📝 원문 정보 Title: Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge ArXiv ID: 1903.07662 발행일: 2019-03-21 저자: Rodrigo F. G. Silva, Chanchal K. Roy, Mohammad Masudur Rahman, Kevin A. Schneider, Klerisson Paixao, Marcelo …
📝 원문 정보 Title: Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps ArXiv ID: 1810.08861 발행일: 2018-10-23 저자: Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, Nenad Medvidovic 📝 초록 (Abstract) 모바일 소프트웨어의 네트워크 지연은 사용자 경험에 큰 영향을 미치며 …
📝 원문 정보 Title: Datasets of Android Applications: a Literature Review ArXiv ID: 1809.10069 발행일: 2018-09-27 저자: Franz-Xaver Geiger, Ivano Malavolta 📝 초록 (Abstract) 휴대폰과 태블릿이 가장 널리 사용되는 컴퓨팅 기기로 자리잡았으며, 안드로이드 플랫폼의 우세가 두드러지고 있습니다. 이에 따라 안드로이드 애플리케이션 개발이 급 …
📝 원문 정보 Title: Machine Teaching: A New Paradigm for Building Machine Learning Systems ArXiv ID: 1707.06742 발행일: 2017-08-14 저자: Patrice Y. Simard, Saleema Amershi, David M. Chickering, Alicia Edelman Pelton, Soroush Ghorashi, Christopher Meek, Gonzalo …
📝 원문 정보 Title: Towards Dependable Change Management and Traceability for Global Software Development ArXiv ID: 1608.05981 발행일: 2016-08-23 저자: David Ebo Adjepon-Yamoah 📝 초록 (Abstract) 이 논문은 전역 소프트웨어 개발(GSD)을 관리하는 지침의 정의에 대해 보고한다. 이 지침은 CMMI 레벨 2의 특정 실 …
📝 원문 정보 Title: Addressing the Regression Test Problem with Change Impact Analysis for Ada ArXiv ID: 1606.04568 발행일: 2016-06-16 저자: Andrew V. Jones 📝 초록 (Abstract) 회귀 테스트 선택 문제는 주어진 변경사항에 따라 테스트 스위트에서 일부를 선택하는 것인데, 이 문제는 지난 20년 동안 널리 연구되어 왔습니다. 하지만 고비 …
📝 원문 정보 Title: Guided Grammar Convergence ArXiv ID: 1503.08476 발행일: 2015-03-31 저자: Vadim Zaytsev 📝 초록 (Abstract) 형식 문법 간의 관계는 언어 동등성(이 알려진 것처럼 결정 불가능하다)과 문법 동일성(이는 단순하다) 사이에 균형을 이루는 어려운 문제이다. 본 논문에서는 이러한 두 극단 사이의 몇 가지 주요 기점을 조사하고 문법 엔지니어링에서 일관성 관리를 위 …
검색어를 입력하세요