| 2006 |
|---|
| 6 | EE | Brian Demsky,
Michael D. Ernst,
Philip J. Guo,
Stephen McCamant,
Jeff H. Perkins,
Martin C. Rinard:
Inference and enforcement of data structure consistency specifications.
ISSTA 2006: 233-244 |
| 5 | EE | Brian Demsky,
Martin C. Rinard:
Goal-Directed Reasoning for Specification-Based Data Structure Repair.
IEEE Trans. Software Eng. 32(12): 931-951 (2006) |
| 2005 |
|---|
| 4 | EE | Brian Demsky,
Martin C. Rinard:
Data structure repair using goal-directed reasoning.
ICSE 2005: 176-185 |
| 2003 |
|---|
| 3 | EE | Brian Demsky,
Martin C. Rinard:
Static Specification Analysis for Termination of Specification-Based Data Structure Repair.
ISSRE 2003: 71-84 |
| 2 | EE | Brian Demsky,
Martin C. Rinard:
Automatic detection and repair of errors in data structures.
OOPSLA 2003: 78-95 |
| 2002 |
|---|
| 1 | EE | Brian Demsky,
Martin C. Rinard:
Role-based exploration of object-oriented programs.
ICSE 2002: 313-334 |
