Cooperative Bug Isolation

Cooperative Bug Isolation
Author :
Publisher : Springer Science & Business Media
Total Pages : 113
Release :
ISBN-10 : 9783540718772
ISBN-13 : 354071877X
Rating : 4/5 (72 Downloads)

Book Synopsis Cooperative Bug Isolation by : Ben Liblit

Download or read book Cooperative Bug Isolation written by Ben Liblit and published by Springer Science & Business Media. This book was released on 2007-04-25 with total page 113 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It 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.


Cooperative Bug Isolation Related Books

Cooperative Bug Isolation
Language: en
Pages: 113
Authors: Ben Liblit
Categories: Computers
Type: BOOK - Published: 2007-05-04 - Publisher: Springer

DOWNLOAD EBOOK

This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It const
Cooperative Bug Isolation
Language: en
Pages: 113
Authors: Ben Liblit
Categories: Computers
Type: BOOK - Published: 2007-04-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It const
Experimental Algorithms
Language: en
Pages: 469
Authors: Panos M. Pardalos
Categories: Computers
Type: BOOK - Published: 2011-04-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 10th International Symposium on Experimental Algorithms, SEA 2011, held in Kolimpari, Chania, Crete, Gre
Artificial Intelligence: Methodology, Systems, and Applications
Language: en
Pages: 427
Authors: Daniel Dochev
Categories: Computers
Type: BOOK - Published: 2008-08-25 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 20
Runtime Verification
Language: en
Pages: 222
Authors: Oleg Sokolsky
Categories: Computers
Type: BOOK - Published: 2007-12-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada. Th