BibSonomy :: author  ::

bookmarks

publications

(7)

• Quantitative information flow as network flow capacity.
  Stephen McCamant and Michael D. Ernst PLDI 193-205 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Predicting problems caused by component upgrades.
  Stephen McCamant and Michael D. Ernst ESEC / SIGSOFT FSE 287-296 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• A simulation-based proof technique for dynamic information flow.
  Stephen McCamant and Michael D. Ernst PLAS 41-46 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• The Daikon system for dynamic detection of likely invariants.
  Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and Chen Xiao Sci. Comput. Program. 69 35-45 (2007)
  to dblp by dblp on 2007-12-31 00:00:00
  | URL | BibTeX  
• Dynamic inference of abstract types.
  Philip J. Guo and Jeff H. Perkins and Stephen McCamant and Michael D. Ernst ISSTA 255-265 (2006)
  to dblp by dblp on 2006-12-06 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  
• Early Identification of Incompatibilities in Multi-component Upgrades.
  Stephen McCamant and Michael D. Ernst ECOOP 440-464 (2004)
  to dblp by dblp on 2004-05-24 00:00:00
  | URL | BibTeX