Trusted Software Repair for System Resiliency

Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

We describe ongoing work to increase trust in resilient software systems. Automated software repair techniques promise to increase system resiliency, allowing missions to continue in the face of software defects. While anumber of program repair approaches have been proposed, the most scalableand applicable of those techniques can be the most difficult to trust. Using approximate solutions to the oracle problem, we consider threeapproaches by which trust can be re-established in a post-repair system. Each approach learns or infers a different form of partial model of correctbehavior from pre-repair observations, post-repair systems are evaluatedwith respect to those models. We focus on partial oracles modeled fromexternal execution signals, derived from similar code fragment behavior, and inferred from invariant relations over local variables. We believethese three approaches can provide an expanded assessment of trust in arepaired, resilient system.

Original languageEnglish (US)
Title of host publicationProceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages238-241
Number of pages4
ISBN (Electronic)9781467388917
DOIs
StatePublished - Sep 22 2016
Externally publishedYes
Event46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016 - Toulouse, France
Duration: Jun 28 2016Jul 1 2016

Other

Other46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016
CountryFrance
CityToulouse
Period6/28/167/1/16

Fingerprint

Resiliency
Repair
Software
Partial
Software System
Fragment
Approximate Solution
Continue
Defects
Invariant
Model

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Control and Optimization

Cite this

Weimer, W., Forrest, S., Kim, M., Goues, C. L., & Hurley, P. (2016). Trusted Software Repair for System Resiliency. In Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016 (pp. 238-241). [7575385] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/DSN-W.2016.64

Trusted Software Repair for System Resiliency. / Weimer, Westley; Forrest, Stephanie; Kim, Miryung; Goues, Claire Le; Hurley, Patrick.

Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 238-241 7575385.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Weimer, W, Forrest, S, Kim, M, Goues, CL & Hurley, P 2016, Trusted Software Repair for System Resiliency. in Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016., 7575385, Institute of Electrical and Electronics Engineers Inc., pp. 238-241, 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016, Toulouse, France, 6/28/16. https://doi.org/10.1109/DSN-W.2016.64
Weimer W, Forrest S, Kim M, Goues CL, Hurley P. Trusted Software Repair for System Resiliency. In Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 238-241. 7575385 https://doi.org/10.1109/DSN-W.2016.64
Weimer, Westley ; Forrest, Stephanie ; Kim, Miryung ; Goues, Claire Le ; Hurley, Patrick. / Trusted Software Repair for System Resiliency. Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 238-241
@inproceedings{e59ec6eca6534cd9b7ce7fe5715bc054,
title = "Trusted Software Repair for System Resiliency",
abstract = "We describe ongoing work to increase trust in resilient software systems. Automated software repair techniques promise to increase system resiliency, allowing missions to continue in the face of software defects. While anumber of program repair approaches have been proposed, the most scalableand applicable of those techniques can be the most difficult to trust. Using approximate solutions to the oracle problem, we consider threeapproaches by which trust can be re-established in a post-repair system. Each approach learns or infers a different form of partial model of correctbehavior from pre-repair observations, post-repair systems are evaluatedwith respect to those models. We focus on partial oracles modeled fromexternal execution signals, derived from similar code fragment behavior, and inferred from invariant relations over local variables. We believethese three approaches can provide an expanded assessment of trust in arepaired, resilient system.",
author = "Westley Weimer and Stephanie Forrest and Miryung Kim and Goues, {Claire Le} and Patrick Hurley",
year = "2016",
month = "9",
day = "22",
doi = "10.1109/DSN-W.2016.64",
language = "English (US)",
pages = "238--241",
booktitle = "Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Trusted Software Repair for System Resiliency

AU - Weimer, Westley

AU - Forrest, Stephanie

AU - Kim, Miryung

AU - Goues, Claire Le

AU - Hurley, Patrick

PY - 2016/9/22

Y1 - 2016/9/22

N2 - We describe ongoing work to increase trust in resilient software systems. Automated software repair techniques promise to increase system resiliency, allowing missions to continue in the face of software defects. While anumber of program repair approaches have been proposed, the most scalableand applicable of those techniques can be the most difficult to trust. Using approximate solutions to the oracle problem, we consider threeapproaches by which trust can be re-established in a post-repair system. Each approach learns or infers a different form of partial model of correctbehavior from pre-repair observations, post-repair systems are evaluatedwith respect to those models. We focus on partial oracles modeled fromexternal execution signals, derived from similar code fragment behavior, and inferred from invariant relations over local variables. We believethese three approaches can provide an expanded assessment of trust in arepaired, resilient system.

AB - We describe ongoing work to increase trust in resilient software systems. Automated software repair techniques promise to increase system resiliency, allowing missions to continue in the face of software defects. While anumber of program repair approaches have been proposed, the most scalableand applicable of those techniques can be the most difficult to trust. Using approximate solutions to the oracle problem, we consider threeapproaches by which trust can be re-established in a post-repair system. Each approach learns or infers a different form of partial model of correctbehavior from pre-repair observations, post-repair systems are evaluatedwith respect to those models. We focus on partial oracles modeled fromexternal execution signals, derived from similar code fragment behavior, and inferred from invariant relations over local variables. We believethese three approaches can provide an expanded assessment of trust in arepaired, resilient system.

UR - http://www.scopus.com/inward/record.url?scp=84994681117&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84994681117&partnerID=8YFLogxK

U2 - 10.1109/DSN-W.2016.64

DO - 10.1109/DSN-W.2016.64

M3 - Conference contribution

SP - 238

EP - 241

BT - Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -