Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SOFTWARE
2008

favoriteEmaildiscussreport

75views Applied Computing» more SOFTWARE 2008»

Using Static Analysis to Find Bugs

13 years 4 months ago

Using Static Analysis to Find Bugs

Download www.cs.umd.edu

Nathaniel Ayewah, David Hovemeyer, J. David Morgen

Real-time Traffic

Applied Computing | SOFTWARE 2008 |

claim paper

Related Content

» Memories of bug fixes

» EFindBugs Effective Error Ranking for FindBugs

» SUDS An Infrastructure for Creating Bug Detection Tools

» Ontology ModelBased Static Analysis on Java Programs

» Static Analysis versus Software Model Checking for Bug Finding

» Finding bugs in exceptional situations of JNI programs

» Finding bugs with a constraint solver

» DSDCrasher a hybrid analysis tool for bug finding

» Rulebased static analysis of network protocol implementations

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	SOFTWARE
Authors	Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh

Comments (0)