| 2008 |
|---|
| 8 | EE | Nathaniel Ayewah,
William Pugh:
A report on a survey and study of static analysis users.
DEFECTS 2008: 1-5 |
| 7 | EE | Nathaniel Ayewah,
David Hovemeyer,
J. David Morgenthaler,
John Penix,
William Pugh:
Using Static Analysis to Find Bugs.
IEEE Software 25(5): 22-29 (2008) |
| 2007 |
|---|
| 6 | EE | William Pugh,
Nathaniel Ayewah:
Unit testing concurrent software.
ASE 2007: 513-516 |
| 5 | EE | Nathaniel Ayewah,
William Pugh,
J. David Morgenthaler,
John Penix,
YuQian Zhou:
Using FindBugs on production software.
OOPSLA Companion 2007: 805-806 |
| 4 | EE | Nathaniel Ayewah,
William Pugh,
J. David Morgenthaler,
John Penix,
YuQian Zhou:
Evaluating static analysis defect warnings on production software.
PASTE 2007: 1-8 |
| 2006 |
|---|
| 3 | EE | Jaime Spacco,
William Pugh,
Nathaniel Ayewah,
David Hovemeyer:
The Marmoset project: an automated snapshot, submission, and testing system.
OOPSLA Companion 2006: 669-670 |
| 2005 |
|---|
| 2 | EE | Nathaniel Ayewah,
Nikhil Kikkeri,
Peter-Michael Seidel:
Challenges in the Formal Verification of Complete State-of-the-Art Processors.
ICCD 2005: 603-608 |
| 1 | | Margaret H. Dunham,
Nathaniel Ayewah,
Zhigang Li,
Kathryn Bean,
Jie Huang:
Spatiotemporal Prediction using Data Mining Tools.
Spatial Databases 2005: 251-271 |
