Product Description
This monograph constitutes a thoroughly revised and extended version of the author's PhD thesis, which was selected as the winning thesis of the 2005 ACM Doctoral Dissertation Competition. Ben Liblit did his PhD work at the University of California, Berkeley, with Alexander Aiken as thesis adviser. This monograph reconsiders two common assumptions about how we should analyze software and arrives at some striking new results. This new approach makes use of some of the tools that biologists and economists use to understand their complicated systems by considering programs as statistical processes and using statistical techniques to understand software. The centerpiece of the monograph is an algorithm for isolating multiple bugs from sparsely sampled data taken from many thousands of program executions. This algorithm has unique properties that complement other program analysis techniques; in particular, it is potentially able to find the root cause of any program failure without first requiring an explicit specification of the property to check. The results Ben Liblit presents with his thesis represent a new and fundamental approach to software analysis and will provide a source of ideas and inspiration to the field for many years to come.
Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
Cooperative Bug Isolation
and over 300,000 other books are available for Amazon Kindle – Amazon’s new wireless reading device.
Learn more
|
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
branch prediction hints, statistical debugging, sample countdown, failing coverage, sampled instrumentation, predicate counters, crash reporting systems, ooo sampling, bug isolation, regularized logistic regression, singleton regions, successful counterexample, acyclic regions, deterministic bugs, instrumentation sites, inferred predicates, instrumentation schemes, sampling transformation, public deployment, universal falsehood, fundamental predicates, token index, passage index, affinity list, instrumentation strategy Key Phrases - Capitalized Phrases (CAPs): (learn more)
Cooperative Bug Isolation, Instrumentation Framework, Fedora Core, Practical Considerations, Red Hat Linux, Springer-Verlag Berlin Heidelberg, Initial Effective Predicate, Status of the Public Deployment New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Surprise Me!
branch prediction hints, statistical debugging, sample countdown, failing coverage, sampled instrumentation, predicate counters, crash reporting systems, ooo sampling, bug isolation, regularized logistic regression, singleton regions, successful counterexample, acyclic regions, deterministic bugs, instrumentation sites, inferred predicates, instrumentation schemes, sampling transformation, public deployment, universal falsehood, fundamental predicates, token index, passage index, affinity list, instrumentation strategy Key Phrases - Capitalized Phrases (CAPs): (learn more)
Cooperative Bug Isolation, Instrumentation Framework, Fedora Core, Practical Considerations, Red Hat Linux, Springer-Verlag Berlin Heidelberg, Initial Effective Predicate, Status of the Public Deployment New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Surprise Me!
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Help others find this product — tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
There are no customer reviews yet. Create your own review
| |||
Video reviews
|
 |
Customer Discussions
Beta (What's this?)
New! See all customer communities, and bookmark your communities to keep track of them.
|
This product's forum
(0 discussions)
Ask questions, Share opinions, Gain insight
Active discussions in related forums
|
Related forums
|
|||||||||||||||||||||
Product Information from the Amapedia Community
Beta (What's this?)Be the first person to add an article about this item at Amapedia.com.
› See featured Amapedia.com articles
Look for Similar Items by Category
- Books > Computers & Internet > Computer Science > Software Engineering > Methodology
- Books > Computers & Internet > Programming > Algorithms
- Books > Computers & Internet > Programming > Languages & Tools
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science > Computer Science
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
Great Deals on Magazines
Visit our huge selection of magazine subscriptions often to see the latest special offers and bonuses. Check out magazines like
The New Yorker,
Wired, and
Vanity Fair. |
Best Books of 2008 |
Buy Three Books, Get a Fourth Free |
||||||||
|
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue shopping: Top Sellers
| ||||
| ||
| ||
| ||
| ||
| ||
