English
Related papers

Related papers: Dependency-Aware Release Planning for Software Pro…

200 papers

Representational state transfer (REST) is a widely employed architecture by web applications and cloud. Users can invoke such services according to the specification of their application interfaces, namely RESTful APIs. Existing approaches…

Software Engineering · Computer Science 2022-03-08 Jiaxian Lin , Tianyu Li , Yang Chen , Guangsheng Wei , Jiadong Lin , Sen Zhang , Hui Xu

Software Reliability Growth Models (SRGMs) are based on underlying assumptions which make them typically more suited for quality evaluation of closed-source projects and their development lifecycles. Their usage in open-source software…

Software Engineering · Computer Science 2022-06-27 Radoslav Micko , Stanislav Chren , Bruno Rossi

Answer set programming (ASP) and planning are two widely used paradigms for solving logic programs with declarative programming. In both cases, the quality of the input programs has a major influence on the quality and performance of the…

Logic in Computer Science · Computer Science 2019-05-09 Patrick Lühne

The translation of high-level abstract features into clear, and testable functional requirements (FRs) is a crucial step in software development, bridging the gap between user needs and technical specifications. In engineering practice,…

Software Engineering · Computer Science 2025-05-20 Xiaoli Lian , Jiajun Wu , Xiaoyun Gao , Shuaisong Wang , Li Zhang

Semantic understanding of programs has attracted great attention in the community. Inspired by recent successes of large language models (LLMs) in natural language understanding, tremendous progress has been made by treating programming…

Machine Learning · Computer Science 2023-06-13 Jianyu Zhao , Yuyang Rong , Yiwen Guo , Yifeng He , Hao Chen

Requirements Engineering in open source projects such as Eclipse faces the challenge of having to prioritize requirements for individual contributors in a more or less unobtrusive fashion. In contrast to conventional industrial software…

Software testing relates to the process of accessing the functionality of a program against some defined specifications. To ensure conformance, test engineers often generate a set of test cases to validate against the user requirements.…

Software Engineering · Computer Science 2017-02-16 Kamal Z. Zamli , Fakhrud Din , Graham Kendall , Bestoun S. Ahmed

We present a framework for uncovering and exploiting dependencies among tools and documents to enhance exemplar artifact generation. Our method begins by constructing a tool knowledge graph from tool schemas,including descriptions,…

Artificial Intelligence · Computer Science 2025-10-29 Shengjie Liu , Li Dong , Zhenyu Zhang

The applications that are deployed in the cloud to provide services to the users encompass a large number of interconnected dependent cloud components. Multiple identical components are scheduled to run concurrently in order to handle…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-12 Chinmaya Kumar Dehury , Prasan Kumar Sahoo , Bharadwaj Veeravalli

In the realm of software development, testing is crucial for ensuring software quality and adherence to requirements. However, it can be time-consuming and resource-intensive, especially when dealing with large and complex software systems.…

Software Engineering · Computer Science 2024-04-26 Aron Karatayev , Anna Ogorodova , Pakizar Shamoi

The practice of stochastic sensitivity analysis described in the decision analysis literature is a testimonial to the need for considering deviations from precise point estimates of uncertainty. We propose the use of Bayesian fuzzy…

Artificial Intelligence · Computer Science 2013-04-10 Pramod Jain , Alice M. Agogino

Software reliability growth models (SRGM) enable failure data collected during testing. Specifically, nonhomogeneous Poisson process (NHPP) SRGM are the most commonly employed models. While software reliability growth models are important,…

Software Engineering · Computer Science 2024-02-01 Shadow Pritchard , Bhaskar Mitra , Vidhyashree Nagaraju

Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-free logic program encoding the problem itself. Several…

Artificial Intelligence · Computer Science 2014-02-25 Gianpaolo Brignoli , Stefania Costantini , Ottavio D'Antona , Alessandro Provetti

Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. Therefore, payroll…

Logic in Computer Science · Computer Science 2024-03-20 Benjamin Callewaert , Joost Vennekens

Due to the limited amount of resources available for the next release of the current product under development not all stakeholders requests can be included in the next product to deliver. This optimization problem, known as the Next…

Software Engineering · Computer Science 2025-02-13 Isabel del Aguila , Jose del Sagrado , Alfonso Bosch

An important product measure to determine the effectiveness of software processes is the defect density (DD). In this study, we propose the application of support vector regression (SVR) to predict the DD of new software projects obtained…

Software Engineering · Computer Science 2019-01-14 Cuauhtemoc Lopez-Martin , Mohammad Azzeh , Ali Bou Nassif , Shadi Banitaan

Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in different areas. This paper proposes a model that is based on a…

Software Engineering · Computer Science 2016-12-13 Stefan Wagner , Helmut Fischer

Recent years have seen the rise of statistical program learning based on neural models as an alternative to traditional rule-based systems for programming by example. Rule-based approaches offer correctness guarantees in an unsupervised way…

Machine Learning · Computer Science 2020-06-08 Raphaël Dang-Nhu

Online planning in Markov Decision Processes (MDPs) enables agents to make sequential decisions by simulating future trajectories from the current state, making it well-suited for large-scale or dynamic environments. Sample-based methods…

Artificial Intelligence · Computer Science 2025-09-22 Tamir Shazman , Idan Lev-Yehudi , Ron Benchetit , Vadim Indelman

Interval linear programming provides a tool for solving real-world optimization problems under interval-valued uncertainty. Instead of approximating or estimating crisp input data, the coefficients of an interval program may perturb…

Optimization and Control · Mathematics 2025-10-08 Elif Garajová , Milan Hladík , Miroslav Rada