Related Books

Finding Error-propagation Bugs in Large Software Systems Using Static Analysis
Language: en
Pages: 0
Authors:
Categories:
Type: BOOK - Published: 2012 - Publisher:

DOWNLOAD EBOOK

Incorrect error handling is a longstanding problem in many large software systems. Despite accounting for a significant portion of the code, error handling is o
From Uncertainty to Bugs
Language: en
Pages: 228
Authors: Theodore Kremenek
Categories:
Type: BOOK - Published: 2008 - Publisher:

DOWNLOAD EBOOK

Static Analysis for Bug Finding in Systems Software
Language: en
Pages: 386
Authors: Andy C. Chou
Categories:
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK

Software Error Analysis
Language: en
Pages: 120
Authors: Wendy W. Peng
Categories: Computers
Type: BOOK - Published: 1994-10 - Publisher: Silicon Press

DOWNLOAD EBOOK

Software Verification and Analysis
Language: en
Pages: 229
Authors: Janusz Laski
Categories: Computers
Type: BOOK - Published: 2009-04-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools f