Search the dblp DataBase

Publications of Author

1. Stephen McCamant, Michael D. Ernst
   Early Identification of Incompatibilities in Multi-component Upgrades. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2004, pp:440-464 [Conf]
   
2. Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst
   Dynamic inference of abstract types. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:255-265 [Conf]
   
3. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
   Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:233-244 [Conf]
   
4. Stephen McCamant, Michael D. Ernst
   Predicting problems caused by component upgrades. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 2003, pp:287-296 [Conf]
   
5. 
   Loop-extended symbolic execution on binary programs. [Citation Graph (, )][DBLP]
   
   
6. 
   A simulation-based proof technique for dynamic information flow. [Citation Graph (, )][DBLP]
   
   
7. 
   Quantitative information flow as network flow capacity. [Citation Graph (, )][DBLP]
   
   
8. 
   Measuring channel capacity to distinguish undue influence. [Citation Graph (, )][DBLP]
   
   
9. 
   A Symbolic Execution Framework for JavaScript. [Citation Graph (, )][DBLP]