<--- Back to Details
First PageDocument Content
Computing / Software engineering / Computer programming / Formal methods / Debugging / Software bug / FindBugs / Assertion / Java / Synchronization / Pointer
Date: 2006-01-12 04:56:57
Computing
Software engineering
Computer programming
Formal methods
Debugging
Software bug
FindBugs
Assertion
Java
Synchronization
Pointer

Finding Bugs is Easy David Hovemeyer and William Pugh Dept. of Computer Science, University of Maryland College Park, MarylandUSA {daveho,pugh}@cs.umd.edu

Add to Reading List

Source URL: www.cs.nyu.edu

Download Document from Source Website

File Size: 131,16 KB

Share Document on Facebook

Similar Documents

ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software

ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software

DocID: 1xVFC - View Document

REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

DocID: 1xVto - View Document

JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

DocID: 1xUTT - View Document

VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging

VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging

DocID: 1xUOR - View Document

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt  University of Utah

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah

DocID: 1xUJA - View Document