Dynamic symbolic data structure repair

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

Full description

Saved in:
Bibliographic Details
Published in:2010 ACM/IEEE 32nd International Conference on Software Engineering Vol. 2; pp. 215 - 218
Main Authors: Hussain, Ishtiaque, Csallner, Christoph
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 01.05.2010
IEEE
Series:ACM Conferences
Subjects:
Computing methodologies > Symbolic and algebraic manipulation
data structure invariants
data structure repair
Data structures
dynamic symbolic execution
Engines
General and reference > Cross-computing tools and techniques > Reliability
Hardware > Hardware validation > Functional verification > Assertion checking
Heuristic algorithms
Instruments
Java
Maintenance engineering
Software and its engineering > Software creation and management > Software development techniques > Error handling and recovery
Software and its engineering > Software creation and management > Software verification and validation
Software and its engineering > Software notations and tools > General programming languages > Language features > Classes and objects
Software and its engineering > Software organization and properties > Extra-functional properties > Software reliability
Software engineering
Theory of computation > Models of computation > Abstract machines
Theory of computation > Semantics and reasoning > Program reasoning > Abstraction
Theory of computation > Semantics and reasoning > Program reasoning > Assertions
Theory of computation > Semantics and reasoning > Program reasoning > Invariants
data structure repair
dynamic symbolic execution
data structure invariants
ISBN:9781605587196, 1605587192
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:9781605587196
1605587192
ISSN:0270-5257
DOI:10.1145/1810295.1810333