Dynamic symbolic data structure repair

11 years 3 months ago
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 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. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging...
Ishtiaque Hussain, Christoph Csallner
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ICSE
Authors Ishtiaque Hussain, Christoph Csallner
Comments (0)