English
Related papers

Related papers: Bugs in Infrastructure as Code

200 papers

DARPA's AI Cyber Challenge (AIxCC) showed that cyber reasoning systems (CRSs) can go beyond vulnerability discovery to autonomously confirm and patch bugs: seven teams built such systems and open-sourced them after the competition. Yet all…

Cryptography and Security · Computer Science 2026-03-26 Andrew Chin , Dongkwan Kim , Yu-Fu Fu , Fabian Fleischer , Youngjoon Kim , HyungSeok Han , Cen Zhang , Brian Junekyu Lee , Hanqing Zhao , Taesoo Kim

Frequent toolchain updates and growing ISA diversity have made system-level software package repair increasingly important. Diagnosing and repairing build failures remains challenging because failures involve heterogeneous evidence,…

Software Engineering · Computer Science 2026-05-12 Chenyu Zhao , Minghua Ma , Shenglin Zhang , Zeshun Huang , Yongqian Sun , Chetan Bansal , Saravan Rajmohan , Dan Pei

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this paper. Structuring techniques answer the questions "How to incorporate fault-tolerance in the application layer of a…

Software Engineering · Computer Science 2015-04-14 Vincenzo De Florio , Chris Blondia

In software development and maintenance, code comments can help developers understand source code, and improve communication among developers. However, developers sometimes neglect to update the corresponding comment when changing the code,…

Software Engineering · Computer Science 2024-03-04 Yuan Huang , Yinan Chen , Xiangping Chen , Xiaocong Zhou

Existing processes and methods for incident handling are geared towards infrastructures and operational models that will be increasingly outdated by cloud computing. Research has shown that to adapt incident handling to cloud computing…

Cryptography and Security · Computer Science 2016-06-28 Duane Wilson , Jeff Avery

Traditional defect prediction approaches often use metrics that measure the complexity of the design or implementing code of a software system, such as the number of lines of code in a source file. In this paper, we explore a different…

Software Engineering · Computer Science 2024-09-30 Hung Viet Pham , Tung Thanh Nguyen

Enterprises are driving towards less cost, more availability, agility, managed risk - all of which is accelerated towards Cloud Computing. Cloud is not a particular product, but a way of delivering IT services that are consumable on demand,…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-08-07 Arokia Paul Rajan , Shanmugapriyaa

Cloud Computing is an emerging area for accessing computing resources. In general, Cloud service providers offer services that can be clustered into three categories: SaaS, PaaS and IaaS. This paper discusses the Cloud workload analysis.…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-02-14 Sukhpal Singh , Inderveer Chana

Due to increasing digitalization, formerly isolated industrial networks, e.g., for factory and process automation, move closer and closer to the Internet, mandating secure communication. However, securely setting up OPC UA, the prime…

Cryptography and Security · Computer Science 2020-10-27 Markus Dahlmanns , Johannes Lohmöller , Ina Berenice Fink , Jan Pennekamp , Klaus Wehrle , Martin Henze

Context: Software systems are in continuous evolution through source code changes to fixing bugs, adding new functionalities and improving the internal architecture. All these practices are recorded in the version history, which can be…

Software Engineering · Computer Science 2020-01-17 Leandro Ungari Cayres , Bruno Santos de Lima , Rogério Eduardo Garcia

Understanding how software defects manifest and evolve in production environments is critical for improving reliability. While previous research has largely focused on pre-release defects, the nature of residual faults, i.e., those escaping…

Software Engineering · Computer Science 2026-04-30 Domenico Cotroneo , Giuseppe De Rosa , Cristina Improta , Benedetta Gaia Varriale

A critical part of creating code suggestion systems is the pre-training of Large Language Models on vast amounts of source code and natural language text, often of questionable origin or quality. This may contribute to the presence of bugs…

Software Engineering · Computer Science 2025-06-23 Mahmoud Jahanshahi , Audris Mockus

This paper is based on the initial ideas of a PhD proposal which will investigate SCADA failures in physical infrastructure systems. The results will be used to develop a new notation to help risk assessment using dependable computing…

Software Engineering · Computer Science 2014-05-20 Razgar Ebrahimy

Infrastructure as a service (IaaS) systems offer on demand virtual infrastructures so reliably and flexibly that users expect a high service level. Therefore, even with regards to internal IaaS behaviour, production clouds only adopt novel…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-04-25 Gabor Kecskemeti

Two key contributions presented in this paper are: i) A method for building a dataset containing source code features extracted from source files taken from Open Source Software (OSS) and associated bug reports, ii) A predictive model for…

Software Engineering · Computer Science 2018-09-13 Ritu Kapur , Balwinder Sodhi

Modern cloud services have complex architectures, often comprising many software components, and depend on hundreds of configurations parameters to function correctly, securely, and with high performance. Due to the prevalence of…

Software Engineering · Computer Science 2020-09-01 Ozan Tuncer , Anthony Byrne , Nilton Bila , Sastry Duri , Canturk Isci , Ayse K. Coskun

Incremental and parallel builds are crucial features of modern build systems. Parallelism enables fast builds by running independent tasks simultaneously, while incrementality saves time and computing resources by processing the build…

Software Engineering · Computer Science 2023-12-05 Thodoris Sotiropoulos , Stefanos Chaliasos , Dimitris Mitropoulos , Diomidis Spinellis

The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic. Traditional techniques, while cornerstone for software quality…

Software Engineering · Computer Science 2023-10-16 Gang Fan , Xiaoheng Xie , Xunjin Zheng , Yinan Liang , Peng Di

Cloud computing is becoming common, and the choice of proper infrastructure is essential. One of main issues is choosing between private and public clound, between commercial and non-commercial solutions. This paper aims to compare the…

Performance · Computer Science 2022-10-19 Michał Łątkowski , Robert Nowak

Effective machine-aided diagnosis and repair of configuration errors continues to elude computer systems designers. Most of the literature targets errors that can be attributed to a single erroneous configuration setting. However, a recent…

Software Engineering · Computer Science 2017-11-15 Zhen Huang , David Lie