BibSonomy :: author  ::

bookmarks

publications

(147)

• Bogor: an extensible and highly-modular software model checking framework.
  Robby and Matthew B. Dwyer and John Hatcliff ESEC / SIGSOFT FSE 267-276 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.
  Georg Jung and John Hatcliff GPCE 33-42 (2007)
  to dblp by dblp on 2008-04-09 00:00:00
  | URL | BibTeX  
• Supporting model checking education using BOGOR/Eclipse.
  Matthew B. Dwyer and John Hatcliff and Matthew Hoosier ETX 88-92 (2004)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• A correlation framework for the CORBA component model.
  Georg Jung and John Hatcliff STTT 9 417-427 (2007)
  to dblp by dblp on 2008-01-07 00:00:00
  | URL | BibTeX  
• Slicing concurrent Java programs using Indus and Kaveri.
  Venkatesh Prasad Ranganath and John Hatcliff STTT 9 489-504 (2007)
  to dblp by dblp on 2008-01-07 00:00:00
  | URL | BibTeX  
• Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.
  Xianghua Deng and Robby and John Hatcliff SEFM 273-282 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• A new foundation for control dependence and slicing for modern program structures.
  Venkatesh Prasad Ranganath and Torben Amtoft and Anindya Banerjee and John Hatcliff and Matthew B. Dwyer ACM Trans. Program. Lang. Syst. 29 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• PEPM 2006 paper abstracts.
  Mark W. Bailey and John Hatcliff and Frank Tip SIGPLAN Notices 41 4-8 (2006)
  to dblp by dblp on 2007-06-05 00:00:00
  | URL | BibTeX  
• Continuous code-quality assurance with SAFE.
  Emmanuel Geay and Eran Yahav and Stephen J. Fink PEPM 145-149 (2006)
  to dblp by dblp on 2007-02-19 00:00:00
  | URL | BibTeX  
• Why you should definitely read this special section.
  Hubert Garavel and John Hatcliff STTT 8 1-3 (2006)
  to dblp by dblp on 2007-02-07 00:00:00
  | URL | BibTeX