IEEE Transactions on Software Engineering (TSE)

Brian Demsky, Martin C. Rinard: Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 (2006)