English
Related papers

Related papers: SmartDelta Methodology: Automated Quality Assuranc…

200 papers

In the era of Industry 4.0, system reliability engineering faces both challenges and opportunities. On the one hand, the complexity of cyber-physical systems, the integration of novel numerical technologies, and the handling of large…

In Software Product Line Engineering (SPLE), a portfolio of similar systems is developed from a shared set of software assets. Claimed benefits of SPLE include reductions in the portfolio size, cost of software development and time to…

Software Engineering · Computer Science 2016-03-30 Julia Rubin , Thomas Thüm

Recent advances in large language models (LLMs) have enabled a new class of AI agents that automate multiple stages of the data science workflow by integrating planning, tool use, and multimodal reasoning across text, code, tables, and…

In modern online services, frequent software changes introduce significant risks. To tackle this challenge, we propose SCELM (Software Change Evaluation and Lifecycle Management), an end-to-end automated framework for software change…

Software Engineering · Computer Science 2025-07-15 Yongqian Sun , Weihua Kuang , Chao Shen , Xidao Wen , Tinghua Zheng , Heng Liu , Shenglin Zhang , Bo Wu , Dan Pei

Agile software development principles enable companies to successfully and quickly deliver software by meeting their customers' expectations while focusing on high quality. Many companies working with pure software systems have adopted…

Software Engineering · Computer Science 2017-03-03 Ulrik Eklund , Christian Berger

The traditional ML development methodology does not enable a large number of contributors, each with distinct objectives, to work collectively on the creation and extension of a shared intelligent system. Enabling such a collaborative…

Machine Learning · Computer Science 2023-01-02 Andrea Gesmundo

The integration of tools in augmenting large language models presents a novel approach toward enhancing the efficiency and accuracy of these models in handling specific, complex tasks. This paper delves into the methodology,challenges, and…

Artificial Intelligence · Computer Science 2024-09-30 Zhuocheng Shen

Data engineering workflows require reliable differencing across files, databases, and query outputs, yet existing tools falter under schema drift, heterogeneous types, and limited explainability. SmartDiff is a unified system that combines…

Databases · Computer Science 2025-09-03 Aryan Poduri , Yashwant Tailor

Quality-Diversity optimisation (QD) has proven to yield promising results across a broad set of applications. However, QD approaches struggle in the presence of uncertainty in the environment, as it impacts their ability to quantify the…

Neural and Evolutionary Computing · Computer Science 2023-03-28 Manon Flageat , Antoine Cully

DevOps is a collaborative and multidisciplinary organizational effort to automate continuous delivery of new software updates while guaranteeing their correctness and reliability. The present survey investigates and discusses DevOps…

Software Engineering · Computer Science 2019-11-20 Leonardo Leite , Carla Rocha , Fabio Kon , Dejan Milojicic , Paulo Meirelles

Large language models (LLMs) have achieved impressive performance across various natural language benchmarks, prompting a continual need to curate more difficult datasets for larger LLMs, which is costly and time-consuming. In this paper,…

Computation and Language · Computer Science 2024-06-07 Jiahao Ying , Yixin Cao , Yushi Bai , Qianru Sun , Bo Wang , Wei Tang , Zhaojun Ding , Yizhe Yang , Xuanjing Huang , Shuicheng Yan

"This article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved…

Software Engineering · Computer Science 2014-10-16 Bernhard Rumpe , Christian Berger , Holger Krahn

In this study, we introduce an intelligent Test Time Augmentation (TTA) algorithm designed to enhance the robustness and accuracy of image classification models against viewpoint variations. Unlike traditional TTA methods that…

Image and Video Processing · Electrical Eng. & Systems 2024-06-14 Efe Ozturk , Mohit Prabhushankar , Ghassan AlRegib

Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation…

Software Engineering · Computer Science 2021-06-18 Ramy Shahin

Objective: To present an overview on the current state of the art concerning metrics-based quality evaluation of software components and component assemblies. Method: Comparison of several approaches available in the literature, using a…

Software Engineering · Computer Science 2011-10-03 Miguel Goulão , Fernando Brito e Abreu

Empirical methods like experimentation have become a powerful means to drive the field of software engineering by creating scientific evidence on software development, operation, and maintenance, but also by supporting practitioners in…

Software Engineering · Computer Science 2020-05-11 Michael Felderer , Guilherme Horta Travassos

Recent advancements in Large Language Models (LLMs) have created new opportunities to enhance performance on complex reasoning tasks by leveraging test-time computation. However, existing scaling methods have key limitations: parallel…

Artificial Intelligence · Computer Science 2025-12-04 Jiefeng Chen , Jie Ren , Xinyun Chen , Chengrun Yang , Ruoxi Sun , Jinsung Yoon , Sercan Ö Arık

The widespread popularity of smart meters enables an immense amount of fine-grained electricity consumption data to be collected. Meanwhile, the deregulation of the power industry, particularly on the delivery side, has continuously been…

Computers and Society · Computer Science 2018-03-28 Yi Wang , Qixin Chen , Tao Hong , Chongqing Kang

The rapid evolution of Integrated Circuit (IC) development necessitates innovative methodologies such as code generation to manage complexity and increase productivity. Using the right methodology for generator development to maximize the…

Software Engineering · Computer Science 2024-04-09 Johannes Schreiner , Daniel Gerl , Robert Kunzelmann , Paritosh Kumar Sinha , Wolfgang Ecker

Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses…

Software Engineering · Computer Science 2019-11-06 Mario Gleirscher , Simon Foster , Jim Woodcock
‹ Prev 1 8 9 10 Next ›