Dynamic symbolic data structure repair

Ishtiaque Hussain, Christoph Csallner

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

7 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
Pages215-218
Number of pages4
DOIs
StatePublished - Jul 23 2010
Event32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 - Cape Town, South Africa
Duration: May 1 2010May 8 2010

Publication series

NameProceedings - International Conference on Software Engineering
Volume2
ISSN (Print)0270-5257

Conference

Conference32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
CountrySouth Africa
CityCape Town
Period5/1/105/8/10

Fingerprint

Data structures
Repair
Software engineering

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Hussain, I., & Csallner, C. (2010). Dynamic symbolic data structure repair. In ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (pp. 215-218). (Proceedings - International Conference on Software Engineering; Vol. 2). https://doi.org/10.1145/1810295.1810333
Hussain, Ishtiaque ; Csallner, Christoph. / Dynamic symbolic data structure repair. ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. 2010. pp. 215-218 (Proceedings - International Conference on Software Engineering).
@inproceedings{5b5f47f12c344a5abf6c44fa2f23d9b0,
title = "Dynamic symbolic data structure repair",
abstract = "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.",
author = "Ishtiaque Hussain and Christoph Csallner",
year = "2010",
month = "7",
day = "23",
doi = "10.1145/1810295.1810333",
language = "English (US)",
isbn = "9781605587196",
series = "Proceedings - International Conference on Software Engineering",
pages = "215--218",
booktitle = "ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering",

}

Hussain, I & Csallner, C 2010, Dynamic symbolic data structure repair. in ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. Proceedings - International Conference on Software Engineering, vol. 2, pp. 215-218, 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South Africa, 5/1/10. https://doi.org/10.1145/1810295.1810333

Dynamic symbolic data structure repair. / Hussain, Ishtiaque; Csallner, Christoph.

ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. 2010. p. 215-218 (Proceedings - International Conference on Software Engineering; Vol. 2).

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

TY - GEN

T1 - Dynamic symbolic data structure repair

AU - Hussain, Ishtiaque

AU - Csallner, Christoph

PY - 2010/7/23

Y1 - 2010/7/23

N2 - 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.

AB - 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.

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

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

U2 - 10.1145/1810295.1810333

DO - 10.1145/1810295.1810333

M3 - Conference contribution

AN - SCOPUS:77954756700

SN - 9781605587196

T3 - Proceedings - International Conference on Software Engineering

SP - 215

EP - 218

BT - ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering

ER -

Hussain I, Csallner C. Dynamic symbolic data structure repair. In ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. 2010. p. 215-218. (Proceedings - International Conference on Software Engineering). https://doi.org/10.1145/1810295.1810333