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.
I have a question about the book:
‘Why Programs Fail - Zeller, Andreas (Saarland University’.
Fill in the form below.
We will respond as fast as possible.
