Logo - springer
Slogan - springer

Computer Science - Software Engineering | Cooperative Bug Isolation - Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

Cooperative Bug Isolation

Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

Liblit, Ben

2007, XV, 101p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$59.99

(net) price for USA

ISBN 978-3-540-71878-9

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$79.99

(net) price for USA

ISBN 978-3-540-71877-2

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • About this book

  • Reconsiders two common assumptions about how software should be analyzed  
  • Arrives at some striking new results 
  • Presents an algorithm for isolating multiple bugs from sparsely sampled data taken from many thousands of program executions 

This monograph reconsiders two common assumptions about how software should be analyzed and arrives at some striking new results. This new approach utilizes some tools used by biologists and economists to understand complicated systems by considering programs as statistical processes and using statistical techniques to understand software.

It presents 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. Ben Liblit presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration to the field for many years to come.

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.

Content Level » Research

Keywords » Debugging - algorithm - algorithms - benchmark tests - code optimization - code sampling - cooperative computing - development tools - distributed systems - formal methods - iterative debugging - program testing - software quality - static analysis - statist

Related subjects » Software Engineering - Theoretical Computer Science

Table of contents 

Instrumentation Framework.- Practical Considerations.- Techniques for Statistical Debugging.- Related Work.- Conclusion.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering / Programming and Operating Systems.