Automatic detection and repair of errors in data structures

Demsky, Brian; Rinard, Martin

doi:10.1145/949313.949314

Cited by 70 publications

(68 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Runtime patching [6], [7], [18] denotes approaches that operate at runtime as fallback measures in response to triggered failures-in contrast to APR techniques that modify source code. Under the hood, runtime patching often uses program analysis techniques similar to those of APR systems; ClearView [27], for instance, dynamically infer state invariants like JAID does, but does so at runtime on instrumented binaries with the goal of preventing problems such as buffer overflows.…”

Section: Related Workmentioning

confidence: 99%

Contract-based program repair without the contracts

Chen

Pei

Furia

2017

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

101

View full text Add to dashboard Cite

Abstract-Automated program repair (APR) is a promising approach to automatically fixing software bugs. Most APR techniques use tests to drive the repair process; this makes them readily applicable to realistic code bases, but also brings the risk of generating spurious repairs that overfit the available tests. Some techniques addressed the overfitting problem by targeting code using contracts (such as pre-and postconditions), which provide additional information helpful to characterize the states of correct and faulty computations; unfortunately, mainstream programming languages do not normally include contract annotations, which severely limits the applicability of such contract-based techniques.This paper presents JAID, a novel APR technique for Java programs, which is capable of constructing detailed state abstractions-similar to those employed by contract-based techniques-that are derived from regular Java code without any special annotations. Grounding the repair generation and validation processes on rich state abstractions mitigates the overfitting problem, and helps extend APR's applicability: in experiments with the DEFECTS4J benchmark, a prototype implementation of JAID produced genuinely correct repairs, equivalent to those written by programmers, for 25 bugs-improving over the state of the art of comparable Java APR techniques in the number and kinds of correct fixes.

show abstract

Section: Related Workmentioning

confidence: 99%

Contract-based program repair without the contracts

Chen

Pei

Furia

2017

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

101

View full text Add to dashboard Cite

show abstract

“…Elkarablieh et al [38] and Demsky et al [39] both describe techniques that repair faulty data structures while a program executes.…”

Section: A Fault Localization and Repairmentioning

confidence: 99%

ReAssert: Suggesting Repairs for Broken Unit Tests

Daniel

Jagannath

Dig

et al. 2009

2009 IEEE/ACM International Conference on Automated Software Engineering

View full text Add to dashboard Cite

Abstract-Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in the test code itself. In the latter case, developers must repair failing tests or remove them from the test suite. Reparing tests is time consuming but beneficial, since removing tests reduces a test suite's ability to detect regressions. Fortunately, simple program transformations can repair many failing tests automatically.We present ReAssert, a novel technique and tool that suggests repairs to failing tests' code which cause the tests to pass. Examples include replacing literal values in tests, changing assertion methods, or replacing one assertion with several. If the developer chooses to apply the repairs, ReAssert modifies the code automatically. Our experiments show that ReAssert can repair many common test failures and that its suggested repairs correspond to developers' expectations.

show abstract

“…Generic data structure repair, pioneered by Demsky and Rinard [5], is a relatively new area of research. Non-generic data structure repair is not new, classic examples include the IBM MVS/XA operating system [11].…”

Section: Related Workmentioning

confidence: 99%

“…Generic repair of complex data structures is a new and exciting approach to software robustness [5,4,6,7,10]. It promises to mutate the state of a running program in such a way that the resulting state satisfies a given assertion or Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Dynamic symbolic data structure repair

Hussain

Csallner

2010

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

View full text Add to dashboard Cite

Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a wide variety of assertions and not all of them satisfy the style rules imposed by existing repair techniques. I.e., a "badly" written assertion may render generic repair inefficient or ineffective. In this paper we build on the state of the art in generic repair and discuss how generic repair can work effectively with a wider range of correctness conditions.We motivate how dynamic symbolic techniques enable generic repair to support a wider range of correctness conditions and present DSDSR, a novel repair algorithm based on dynamic symbolic execution. We implement the algorithm for Java and report initial empirical results to demonstrate the promise of our approach for generic repair.

show abstract

Automatic detection and repair of errors in data structures

Cited by 70 publications

References 7 publications

Contract-based program repair without the contracts

Contract-based program repair without the contracts

ReAssert: Suggesting Repairs for Broken Unit Tests

Dynamic symbolic data structure repair

Contact Info

Product

Resources

About