Goal-Directed Reasoning for Specification-Based Data Structure Repair

Brian Demsky; Martin Rinard

doi:10.1109/tse.2006.122

Goal-Directed Reasoning for Specification-Based Data Structure Repair

IEEE Transactions on Software Engineering ◽

10.1109/tse.2006.122 ◽

2006 ◽

Vol 32 (12) ◽

pp. 931-951 ◽

Cited By ~ 26

Author(s):

Brian Demsky ◽

Martin Rinard

Keyword(s):

Data Structure ◽

Data Structure Repair

Download Full-text

Constraint-based program debugging using data structure repair

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.65 ◽

2011 ◽

Cited By ~ 8

Author(s):

Muhammad Zubair Malik ◽

Junaid Haroon Siddiqui ◽

Sarfraz Khurshid

Keyword(s):

Data Structure ◽

Program Debugging ◽

Using Data ◽

Data Structure Repair

Download Full-text

Static specification analysis for termination of specification-based data structure repair

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251032 ◽

2005 ◽

Cited By ~ 3

Author(s):

B. Demsky ◽

M. Rinard

Keyword(s):

Data Structure ◽

Data Structure Repair ◽

Specification Analysis

Download Full-text

Dynamic symbolic data structure repair

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 ◽

10.1145/1810295.1810333 ◽

2010 ◽

Cited By ~ 6

Author(s):

Ishtiaque Hussain ◽

Christoph Csallner

Keyword(s):

Data Structure ◽

Symbolic Data ◽

Data Structure Repair

Download Full-text

A Case for Automated Debugging Using Data Structure Repair

2009 IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2009.92 ◽

2009 ◽

Cited By ~ 19

Author(s):

Muhammad Zubair Malik ◽

Khalid Ghori ◽

Bassem Elkarablieh ◽

Sarfraz Khurshid

Keyword(s):

Data Structure ◽

Automated Debugging ◽

Using Data ◽

Data Structure Repair

Download Full-text

Automatic Data Structure Repair usingSeparation Logic

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3282517.3282528 ◽

2019 ◽

Vol 43 (4) ◽

pp. 66-66

Author(s):

Guolong Zheng ◽

Quang Loc Le ◽

ThanhVu Nguyen ◽

Quoc-Sang Phan

Keyword(s):

Data Structure ◽

Automatic Data ◽

Data Structure Repair

Download Full-text

Data structure repair using goal-directed reasoning

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. ◽

10.1109/icse.2005.1553560 ◽

2005 ◽

Cited By ~ 9

Author(s):

B. Demsky ◽

M. Rinard

Keyword(s):

Data Structure ◽

Data Structure Repair

Download Full-text

Contract-Based Data Structure Repair Using Alloy

ECOOP 2010 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14107-2_27 ◽

2010 ◽

pp. 577-598 ◽

Cited By ~ 10

Author(s):

Razieh Nokhbeh Zaeem ◽

Sarfraz Khurshid

Keyword(s):

Data Structure ◽

Data Structure Repair

Download Full-text

Introducing Specification-Based Data Structure Repair Using Alloy

Abstract State Machines, Alloy, B and Z - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11811-1_34 ◽

2010 ◽

pp. 398-399 ◽

Cited By ~ 2

Author(s):

Razieh Nokhbeh Zaeem ◽

Sarfraz Khurshid

Keyword(s):

Data Structure ◽

Data Structure Repair

Download Full-text

Data structure repair using goal-directed reasoning

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. ◽

10.1145/1062455.1062499 ◽

2005 ◽

Cited By ~ 28

Author(s):

Brian Demsky ◽

Martin Rinard

Keyword(s):

Data Structure ◽

Data Structure Repair

Download Full-text

Repair Abstractions for More Efficient Data Structure Repair

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40787-1_14 ◽

2013 ◽

pp. 235-250

Author(s):

Razieh Nokhbeh Zaeem ◽

Muhammad Zubair Malik ◽

Sarfraz Khurshid

Keyword(s):

Data Structure ◽

Efficient Data ◽

Data Structure Repair

Download Full-text