Dynamic symbolic data structure repair

@article{Hussain2010DynamicSD,
  title={Dynamic symbolic data structure repair},
  author={Ishtiaque Hussain and Christoph Csallner},
  journal={2010 ACM/IEEE 32nd International Conference on Software Engineering},
  year={2010},
  volume={2},
  pages={215-218}
}
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… CONTINUE READING

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…