Software Engineering

Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics

📝 Original Info Title: Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics ArXiv ID: 2601.02200 Date: 2026-01-05 Authors: Markus Borg, Nadim Hagatulah, Adam Tornhill, Emma Söderberg 📝 Abstract We are entering a …

January 05, 2026

Computer Science Software Engineering

LLM-Empowered Functional Safety and Security by Design in Automotive Systems

📝 Original Info Title: LLM-Empowered Functional Safety and Security by Design in Automotive Systems ArXiv ID: 2601.02215 Date: 2026-01-05 Authors: Nenad Petrovic, Vahid Zolfaghari, Fengjunjie Pan, Alois Knoll 📝 Abstract This paper presents …

January 05, 2026

System Computer Science Software Engineering

Adaptive Hierarchical Evaluation of LLMs and SAST tools for CWE Prediction in Python

📝 Original Info Title: Adaptive Hierarchical Evaluation of LLMs and SAST tools for CWE Prediction in Python ArXiv ID: 2601.01320 Date: 2026-01-04 Authors: Muntasir Adnan, Carlos C. N. Kuhn 📝 Abstract Large Language Models have become integral to …

January 04, 2026

Computer Science Software Engineering

RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian

📝 Original Info Title: RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian ArXiv ID: 2601.01129 Date: 2026-01-03 Authors: Kla Tantithamthavorn, Yaotian Zou, Andy Wong, Michael Gupta, Zhe Wang, Mike …

January 03, 2026

Computer Science Software Engineering

In Line with Context: Repository-Level Code Generation via Context Inlining

📝 Original Info Title: In Line with Context: Repository-Level Code Generation via Context Inlining ArXiv ID: 2601.00376 Date: 2026-01-01 Authors: Chao Hu, Wenhao Zeng, Yuling Shi, Beijun Shen, Xiaodong Gu 📝 Abstract Repository-level code generation …

January 01, 2026

Computer Science Software Engineering

Localized Calibrated Uncertainty in Code Language Models

📝 Original Info Title: Localized Calibrated Uncertainty in Code Language Models ArXiv ID: 2512.24560 Date: 2025-12-31 Authors: David Gros, Prem Devanbu 📝 Abstract Large Language models (LLMs) can generate complicated source code from natural language …

December 31, 2025

Model Computer Science Software Engineering

Hybrid-Code: A Privacy-Preserving, Redundant Multi-Agent Framework for Reliable Local Clinical Coding

📝 Original Info Title: Hybrid-Code: A Privacy-Preserving, Redundant Multi-Agent Framework for Reliable Local Clinical Coding ArXiv ID: 2512.23743 Date: 2025-12-26 Authors: Yunguo Yu 📝 Abstract The automation of clinical coding (ICD-9/10) holds …

December 26, 2025

Framework Computer Science Software Engineering

No Image

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework

📝 Original Info Title: Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework ArXiv ID: 2001.11507 Date: 2024-08-28 Authors: E. de Gelder, J.-P. Paardekooper, A. Khabbaz Saberi, H. Elrofai, …

August 28, 2024

Framework Artificial Intelligence Computer Science Software Engineering

Model-Based Cloud Resource Management with TOSCA and OCCI

📝 Original Info Title: Model-Based Cloud Resource Management with TOSCA and OCCI ArXiv ID: 2001.07900 Date: 2020-10-07 Authors: Stephanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski and Philippe Merle 📝 Abstract With the …

October 07, 2020

Model Computer Science Software Engineering

Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities

📝 Original Info Title: Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities ArXiv ID: 2001.08236 Date: 2020-08-18 Authors: Tao Chen, Miqing Li, Ke Li, and Kalyanmoy Deb 📝 Abstract …

August 18, 2020

System Artificial Intelligence Computer Science Software Engineering

Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results

📝 Original Info Title: Benchmarking Symbolic Execution Using Constraint Problems – Initial Results ArXiv ID: 2001.07914 Date: 2020-07-20 Authors: Sahil Verma, Roland H.C. Yap 📝 Abstract Symbolic execution is a powerful technique for bug finding …

July 20, 2020

Artificial Intelligence Computer Science Software Engineering

TarTar: A Timed Automata Repair Tool

📝 Original Info Title: TarTar: A Timed Automata Repair Tool ArXiv ID: 2002.02760 Date: 2020-05-13 Authors: Martin Koelbl (1) and Stefan Leue (1) and Thomas Wies (2) ((1) University of Konstanz, (2) New York University) 📝 Abstract We present TarTar, …

May 13, 2020

Formal Languages Computer Science Software Engineering

No Image

SMT-Friendly Formalization of the Solidity Memory Model

📝 Original Info Title: SMT-Friendly Formalization of the Solidity Memory Model ArXiv ID: 2001.03256 Date: 2020-04-20 Authors: Akos Hajdu, Dejan Jovanovic 📝 Abstract Solidity is the dominant programming language for Ethereum smart contracts. This …

April 20, 2020

Programming Languages Logic Computer Science Model Software Engineering

Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline

📝 Original Info Title: Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline ArXiv ID: 2001.07076 Date: 2020-04-02 Authors: Tao Chen, Rami Bahsoon, and Xin Yao 📝 Abstract To promote engineering …

April 02, 2020

System Artificial Intelligence Computer Science Software Engineering

Towards Fault Localization via Probabilistic Software Modeling

📝 Original Info Title: Towards Fault Localization via Probabilistic Software Modeling ArXiv ID: 2001.07409 Date: 2020-03-05 Authors: Hannes Thaller, Lukas Linsbauer, Alexander Egyed, Stefan Fischer 📝 Abstract Software testing helps developers to …

March 05, 2020

Model Computer Science Software Engineering

Machine Learning and value generation in Software Development: a survey

📝 Original Info Title: Machine Learning and value generation in Software Development: a survey ArXiv ID: 2001.08980 Date: 2020-01-27 Authors: Barakat. J. Akinsanya, Luiz J.P. Araujo, Mariia Charikova, Susanna Gimaeva, Alexandr Grichshenko, Adil Khan, …

January 27, 2020

Learning Computer Science Software Engineering

In-The-Field Monitoring of Functional Calls: Is It Feasible?

📝 Original Info Title: In-The-Field Monitoring of Functional Calls: Is It Feasible? ArXiv ID: 2001.07283 Date: 2020-01-22 Authors: Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani 📝 Abstract Collecting data about the sequences of …

January 22, 2020

Computer Science Software Engineering

Towards Semantic Clone Detection via Probabilistic Software Modeling

📝 Original Info Title: Towards Semantic Clone Detection via Probabilistic Software Modeling ArXiv ID: 2001.07399 Date: 2020-01-22 Authors: Hannes Thaller, Lukas Linsbauer, Alexander Egyed 📝 Abstract Semantic clones are program components with similar …

January 22, 2020

Model Detection Computer Science Software Engineering

Vis-a-Vis: Visual Exploration of Visualization Source Code Evolution

📝 Original Info Title: Vis-a-Vis: Visual Exploration of Visualization Source Code Evolution ArXiv ID: 2001.02092 Date: 2020-01-08 Authors: Fabian Bolte and Stefan Bruckner 📝 Abstract Developing an algorithm for a visualization prototype often …

January 08, 2020

Computer Science Software Engineering

Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions

📝 Original Info Title: Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions ArXiv ID: 1910.13592 Date: 2019-10-31 Authors: Leila Ribeiro, Lucio Duarte, Rodrigo Machado, Andrei Costa, Erika Cota, Jonas Bezerra …

October 31, 2019

Analysis Computer Science Software Engineering

Obsidian: Typestate and Assets for Safer Blockchain Programming

📝 Original Info Title: Obsidian: Typestate and Assets for Safer Blockchain Programming ArXiv ID: 1909.03523 Date: 2019-09-10 Authors: Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua …

September 10, 2019

Programming Languages Computer Science Software Engineering

Slither: A Static Analysis Framework For Smart Contracts

📝 Original Info Title: Slither: A Static Analysis Framework For Smart Contracts ArXiv ID: 1908.09878 Date: 2019-08-28 Authors: Josselin Feist, Gustavo Grieco and Alex Groce 📝 Abstract This paper describes Slither, a static analysis framework designed …

August 28, 2019

Computer Science Cryptography and Security Analysis Framework Software Engineering

sql4ml A declarative end-to-end workflow for machine learning

📝 Original Info Title: sql4ml A declarative end-to-end workflow for machine learning ArXiv ID: 1907.12415 Date: 2019-08-05 Authors: Nantia Makrynioti, Ruy Ley-Wild, Vasilis Vassalos 📝 Abstract We present sql4ml, a system for expressing supervised …

August 05, 2019

Computer Science Databases Machine Learning Learning Software Engineering

Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge

📝 Original Info Title: Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge ArXiv ID: 1903.07662 Date: 2019-03-21 Authors: Rodrigo F. G. Silva, Chanchal K. Roy, Mohammad Masudur Rahman, Kevin A. Schneider, Klerisson …

March 21, 2019

Computer Science Software Engineering

Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps

📝 Original Info Title: Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps ArXiv ID: 1810.08861 Date: 2018-10-23 Authors: Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, Nenad Medvidovic 📝 Abstract Network latency in mobile …

October 23, 2018

Networking Computer Science Software Engineering

No Image

Datasets of Android Applications: a Literature Review

📝 Original Info Title: Datasets of Android Applications: a Literature Review ArXiv ID: 1809.10069 Date: 2018-09-27 Authors: Franz-Xaver Geiger, Ivano Malavolta 📝 Abstract Mobile phones and tablets have become the most widely used computing devices, …

September 27, 2018

Data Computer Science Software Engineering

Machine Teaching: A New Paradigm for Building Machine Learning Systems

📝 Original Info Title: Machine Teaching: A New Paradigm for Building Machine Learning Systems ArXiv ID: 1707.06742 Date: 2017-08-14 Authors: Patrice Y. Simard, Saleema Amershi, David M. Chickering, Alicia Edelman Pelton, Soroush Ghorashi, Christopher …

August 14, 2017

Statistics Computer Science HCI Artificial Intelligence System Machine Learning Learning Software Engineering

Towards Dependable Change Management and Traceability for Global Software Development

📝 Original Info Title: Towards Dependable Change Management and Traceability for Global Software Development ArXiv ID: 1608.05981 Date: 2016-08-23 Authors: David Ebo Adjepon-Yamoah 📝 Abstract This paper reports on our definition of guidelines for …

August 23, 2016

Computer Science Software Engineering

No Image

Addressing the Regression Test Problem with Change Impact Analysis for Ada

📝 Original Info Title: Addressing the Regression Test Problem with Change Impact Analysis for Ada ArXiv ID: 1606.04568 Date: 2016-06-16 Authors: Andrew V. Jones 📝 Abstract The regression test selection problem--selecting a subset of a test-suite …

June 16, 2016

Analysis Computer Science Software Engineering

No Image

Guided Grammar Convergence

📝 Original Info Title: Guided Grammar Convergence ArXiv ID: 1503.08476 Date: 2015-03-31 Authors: Vadim Zaytsev 📝 Abstract Relating formal grammars is a hard problem that balances between language equivalence (which is known to be undecidable) and …

March 31, 2015

Programming Languages Formal Languages Computer Science Software Engineering

Software Engineering

Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics

LLM-Empowered Functional Safety and Security by Design in Automotive Systems

Adaptive Hierarchical Evaluation of LLMs and SAST tools for CWE Prediction in Python

RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian

In Line with Context: Repository-Level Code Generation via Context Inlining

Localized Calibrated Uncertainty in Code Language Models

Hybrid-Code: A Privacy-Preserving, Redundant Multi-Agent Framework for Reliable Local Clinical Coding

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework

Model-Based Cloud Resource Management with TOSCA and OCCI

Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities

Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results

TarTar: A Timed Automata Repair Tool

SMT-Friendly Formalization of the Solidity Memory Model

Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline

Towards Fault Localization via Probabilistic Software Modeling

Machine Learning and value generation in Software Development: a survey

In-The-Field Monitoring of Functional Calls: Is It Feasible?

Towards Semantic Clone Detection via Probabilistic Software Modeling

Vis-a-Vis: Visual Exploration of Visualization Source Code Evolution

Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions

Obsidian: Typestate and Assets for Safer Blockchain Programming

Slither: A Static Analysis Framework For Smart Contracts

sql4ml A declarative end-to-end workflow for machine learning

Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge

Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps

Datasets of Android Applications: a Literature Review

Machine Teaching: A New Paradigm for Building Machine Learning Systems

Towards Dependable Change Management and Traceability for Global Software Development

Addressing the Regression Test Problem with Change Impact Analysis for Ada

Guided Grammar Convergence

< Category Statistics (Total: 1595) >

Table of Contents

Table of Contents

Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics

LLM-Empowered Functional Safety and Security by Design in Automotive Systems

Adaptive Hierarchical Evaluation of LLMs and SAST tools for CWE Prediction in Python

RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian

In Line with Context: Repository-Level Code Generation via Context Inlining

Localized Calibrated Uncertainty in Code Language Models

Hybrid-Code: A Privacy-Preserving, Redundant Multi-Agent Framework for Reliable Local Clinical Coding

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework

Model-Based Cloud Resource Management with TOSCA and OCCI

Search-Based Software Engineering for Self-Adaptive Systems: Survey, Disappointments, Suggestions and Opportunities

Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results

TarTar: A Timed Automata Repair Tool

SMT-Friendly Formalization of the Solidity Memory Model

Synergizing Domain Expertise with Self-Awareness in Software Systems: A Patternized Architecture Guideline

Towards Fault Localization via Probabilistic Software Modeling

Machine Learning and value generation in Software Development: a survey

In-The-Field Monitoring of Functional Calls: Is It Feasible?

Towards Semantic Clone Detection via Probabilistic Software Modeling

Vis-a-Vis: Visual Exploration of Visualization Source Code Evolution

Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions

Obsidian: Typestate and Assets for Safer Blockchain Programming

Slither: A Static Analysis Framework For Smart Contracts

sql4ml A declarative end-to-end workflow for machine learning

Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge

Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps

Datasets of Android Applications: a Literature Review

Machine Teaching: A New Paradigm for Building Machine Learning Systems

Towards Dependable Change Management and Traceability for Global Software Development

Addressing the Regression Test Problem with Change Impact Analysis for Ada

Guided Grammar Convergence

< Category Statistics (Total: 1595) >

Start searching

No results found