- author = "Westley Weimer and Stephanie Forrest and Miryung Kim and Claire {Le Goues} and Patrick Hurley",
- title = "Trusted Software Repair for System Resiliency",
- booktitle = "46th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks Workshops, {DSN} Workshops 2016",
- year = "2016",
- pages = "238--241",
- address = "Toulouse, France",
- month = jun # " 28 - " # jul # " 1",
- publisher = "{IEEE} Computer Society",
- keywords = "genetic algorithms, genetic programming, SBSE, APR, GenProg, DIG, k-induction, partial correctness oracle, theorem prover, Z3, Grafter, buggy GCD",
- isbn13 = "978-1-5090-3688-2",
- timestamp = "Wed, 16 Oct 2019 14:14:55 +0200",
-
biburl = "
https://dblp.org/rec/conf/dsn/WeimerFKGH16.bib",
- bibsource = "dblp computer science bibliography, https://dblp.org",
-
URL = "https://doi.org/10.1109/DSN-W.2016.64",
-
DOI = "
10.1109/DSN-W.2016.64",
- size = "4 pages",
- 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 a number of program repair approaches have been proposed, the most scalable and applicable of those techniques can be the most difficult to trust. Using approximate solutions to the oracle problem, we consider three approaches by which trust can be re-established in a post-repair system. Each approach learns or infers a different form of partial model of correct behaviour from pre-repair observations; post-repair systems are evaluated with respect to those models. We focus on partial oracles modelled from external execution signals, derived from similar code fragment behavior, and inferred from invariant relations over local variables. We believe these three approaches can provide an expanded assessment of trust in a repaired, resilient system.",
-
notes = "Measure at runtime number of instructions, number of
branches, supervised learning of bug fix quality. Zune
bug. Differential testing. Test transplantation (from
existing code clones). Approximations to the test
Oracle Problem.
Slides https://web.eecs.umich.edu/~weimerw/p/weimer-dsn2016-trusted-pres.pdf",
