Data structure repair using goal-directed reasoning
- 1 January 2005
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 27th international conference on Software engineering - ICSE '05
- p. 176-185
- https://doi.org/10.1145/1062455.1062499