 | 2009 |
|---|
| 8 |       | Prateek Saxena,
Pongsin Poosankam,
Stephen McCamant,
Dawn Song:
Loop-extended symbolic execution on binary programs.
ISSTA 2009: 225-236 |
| 2008 |
|---|
| 7 | | Stephen McCamant,
Michael D. Ernst:
Quantitative information flow as network flow capacity.
PLDI 2008: 193-205 |
| 2007 |
|---|
| 6 | | Stephen McCamant,
Michael D. Ernst:
A simulation-based proof technique for dynamic information flow.
PLAS 2007: 41-46 |
| 5 | | Michael D. Ernst,
Jeff H. Perkins,
Philip J. Guo,
Stephen McCamant,
Carlos Pacheco,
Matthew S. Tschantz,
Chen Xiao:
The Daikon system for dynamic detection of likely invariants.
Sci. Comput. Program. 69(1-3): 35-45 (2007) |
| 2006 |
|---|
| 4 | | 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 |
| 3 | | Philip J. Guo,
Jeff H. Perkins,
Stephen McCamant,
Michael D. Ernst:
Dynamic inference of abstract types.
ISSTA 2006: 255-265 |
| 2004 |
|---|
| 2 | | Stephen McCamant,
Michael D. Ernst:
Early Identification of Incompatibilities in Multi-component Upgrades.
ECOOP 2004: 440-464 |
| 2003 |
|---|
| 1 | | Stephen McCamant,
Michael D. Ernst:
Predicting problems caused by component upgrades.
ESEC / SIGSOFT FSE 2003: 287-296 |
