BibSonomy :: author  ::

bookmarks

publications

(10)

• AFID: an automated fault identification tool.
  Alex Edwards and Sean Tucker and Sébastien Worms and Rahul Vaidya and Brian Demsky ISSTA 179-188 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Bristlecone: A Language for Robust Software Systems.
  Brian Demsky and Alokika Dash ECOOP 490-515 (2008)
  to dblp by dblp on 2008-07-14 00:00:00
  | URL | BibTeX  
• Data structure repair using goal-directed reasoning.
  Brian Demsky and Martin C. Rinard ICSE 176-185 (2005)
  to repair software by thau and 1 other person on 2008-01-17 22:26:39
  | URL | BibTeX  
• Goal-Directed Reasoning for Specification-Based Data Structure Repair.
  Brian Demsky and Martin C. Rinard IEEE Trans. Software Eng. 32 931-951 (2006)
  to repair software by thau and 1 other person on 2008-01-17 22:20:39
  | URL | BibTeX  
• Goal-Directed Reasoning for Specification-Based Data Structure Repair.
  Brian Demsky and Martin C. Rinard IEEE Trans. Software Eng. 32 931-951 (2006)
  to dblp by dblp and 1 other person on 2007-01-04 00:00:00
  | URL | BibTeX  
• Inference and enforcement of data structure consistency specifications.
  Brian Demsky and Michael D. Ernst and Philip J. Guo and Stephen McCamant and Jeff H. Perkins and Martin C. Rinard ISSTA 233-244 (2006)
  to dblp by dblp on 2006-12-06 00:00:00
  | URL | BibTeX  
• Automatic detection and repair of errors in data structures.
  Brian Demsky and Martin C. Rinard OOPSLA 78-95 (2003)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Data structure repair using goal-directed reasoning.
  Brian Demsky and Martin C. Rinard ICSE 176-185 (2005)
  to dblp by dblp and 1 other person on 2006-02-13 00:00:00
  | URL | BibTeX  
• Role-based exploration of object-oriented programs.
  Brian Demsky and Martin C. Rinard ICSE 313-334 (2002)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Static Specification Analysis for Termination of Specification-Based Data Structure Repair.
  Brian Demsky and Martin C. Rinard ISSRE 71-84 (2003)
  to dblp by dblp on 2005-01-06 00:00:00
  | URL | BibTeX