Cooperative Bug Isolation

Ben Liblit

ISBN 10: 354071877X / ISBN 13: 9783540718772

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2007, 2007

About this Item

Neuware -Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit¿s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software¿the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Seller Inventory # 9783540718772

Bibliographic Details

• Title: Cooperative Bug Isolation
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2007
• Publication Date: 2007
• Language: English
• ISBN 10: 354071877X
• ISBN 13: 9783540718772
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

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.