Search the dblp DataBase

Publications of Author

1. Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel
   Challenges in the Formal Verification of Complete State-of-the-Art Processors. [Citation Graph (0, 0)][DBLP]
   ICCD, 2005, pp:603-608 [Conf]
   
2. Jaime Spacco, William Pugh, Nathaniel Ayewah, David Hovemeyer
   The Marmoset project: an automated snapshot, submission, and testing system. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2006, pp:669-670 [Conf]
   
3. Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, Yuqian Zhou
   Using FindBugs on production software. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2007, pp:805-806 [Conf]
   
4. Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, Yuqian Zhou
   Evaluating static analysis defect warnings on production software. [Citation Graph (0, 0)][DBLP]
   PASTE, 2007, pp:1-8 [Conf]
   
5. 
   A report on a survey and study of static analysis users. [Citation Graph (, )][DBLP]
   
   
6. 
   The Google FindBugs fixit. [Citation Graph (, )][DBLP]
   
   
7. 
   Unit testing concurrent software. [Citation Graph (, )][DBLP]
   
   
8. 
   Learning from defect removals. [Citation Graph (, )][DBLP]
   
   
9. 
   Null dereference analysis in practice. [Citation Graph (, )][DBLP]