Why Programs Fail: A Guide To Systematic Debugging

With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS and AGITAR, highlights techniques from integrated environments like Jazz.net, and includes demos with ESC/Java and Spec#, Eclipse and Mozilla. It is a complete and pragmatic overview of debugging.

• | By (Author): Andreas (Saarland University, Saarbruecken, Germany) Zeller
• | Publisher: Elsevier Science & Technology
• | Publication Date: Jul 22, 2009
• | Country of Publication: United States
• | Number of Pages: 544 pages
• | Language: Not Available
• | Binding: Paperback|Softback
• | ISBN-10: 0123745152
• | ISBN-13: 9780123745156