From Uncertainty to Bugs: Inferring Defects in Software Systems with Static Analysis, Statistical Methods, and Probabilistic Graphical Models.
Author:   Theodore Kremenek
Publisher:   Proquest, Umi Dissertation Publishing
ISBN:  

9781243578297


Pages:   198
Publication Date:   01 September 2011
Format:   Paperback
Availability:   Temporarily unavailable   Availability explained
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Our Price $182.16 Quantity:  
Add to Cart

Share |

From Uncertainty to Bugs: Inferring Defects in Software Systems with Static Analysis, Statistical Methods, and Probabilistic Graphical Models.


Add your own review!

Overview

This thesis shows how probabilistic graphical models may be applied in conjunction with static program analysis to automatically uncover software errors in large, complex, real-world systems.

Full Product Details

Author:   Theodore Kremenek
Publisher:   Proquest, Umi Dissertation Publishing
Imprint:   Proquest, Umi Dissertation Publishing
Dimensions:   Width: 18.90cm , Height: 1.20cm , Length: 24.60cm
Weight:   0.399kg
ISBN:  

9781243578297


ISBN 10:   1243578297
Pages:   198
Publication Date:   01 September 2011
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   Temporarily unavailable   Availability explained
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now