Automatic software repair: A bibliography

M Monperrus - ACM Computing Surveys (CSUR), 2018 - dl.acm.org
This article presents a survey on automatic software repair. Automatic software repair
consists of automatically finding a solution to software bugs without human intervention. This …

A survey of autonomic computing—degrees, models, and applications

MC Huebscher, JA McCann - ACM Computing Surveys (CSUR), 2008 - dl.acm.org
Autonomic Computing is a concept that brings together many fields of computing with the
purpose of creating computing systems that self-manage. In its early days it was criticised as …

A survey of online failure prediction methods

F Salfner, M Lenk, M Malek - ACM Computing Surveys (CSUR), 2010 - dl.acm.org
With the ever-growing complexity and dynamicity of computer systems, proactive fault
management is an effective approach to enhancing availability. Online failure prediction is …

Toward exascale resilience

F Cappello, A Geist, B Gropp, L Kale… - … Journal of High …, 2009 - journals.sagepub.com
Over the past few years resilience has became a major issue for high-performance
computing (HPC) systems, in particular in the perspective of large petascale systems and …

{Crash-Only} Software

G Candea, A Fox - 9th Workshop on Hot Topics in Operating Systems …, 2003 - usenix.org
Crash-only programs crash safely and recover quickly. There is only one way to stop such
software—by crashing it—and only one way to bring it up—by initiating recovery. Crash-only …

Guaranteed physical security with restart-based design for cyber-physical systems

F Abdi, CY Chen, M Hasan, S Liu… - 2018 ACM/IEEE 9th …, 2018 - ieeexplore.ieee.org
Physical plants that form the core of the Cyber-Physical Systems (CPS) often have stringent
safety requirements. Recent attacks have shown that cyber intrusions can result in the safety …

Using virtualization to improve software rejuvenation

LM Silva, J Alonso, J Torres - IEEE Transactions on Computers, 2009 - ieeexplore.ieee.org
In this paper, we present an approach for software rejuvenation based on automated self-
healing techniques that can be easily applied to off-the-shelf application servers. Software …

Preserving physical safety under cyber attacks

F Abdi, CY Chen, M Hasan, S Liu… - IEEE Internet of …, 2018 - ieeexplore.ieee.org
Physical plants that form the core of the cyber-physical systems (CPSs) often have stringent
safety requirements and, recent attacks have shown that cyber intrusions can cause damage …

Adaptive on-line software aging prediction based on machine learning

J Alonso, J Torres, JL Berral… - 2010 IEEE/IFIP …, 2010 - ieeexplore.ieee.org
The growing complexity of software systems is resulting in an increasing number of software
faults. According to the literature, software faults are becoming one of the main sources of …

Queries in object-oriented databases

J Banerjee, W Kim, KC Kim - Fourth International Conference on Data …, 1988 - computer.org
Massive parallel business workflows running in the cloud are prone to temporal violations
(namely intermediate runtime delays) due to various reasons such as service performance …