Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition /
Liblit, Ben.
Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition / Ben Liblit. - Berlin ; New York : Springer, ©2007. - 1 online resource (xv, 101 pages) : illustrations - Lecture notes in computer science, 4440 0302-9743 ; ACM distinguished theses . - Lecture notes in computer science ; 4440. ACM distinguished theses. .
Includes bibliographical references (pages 97-101).
Instrumentation Framework -- Practical Considerations -- Techniques for Statistical Debugging -- Related Work -- Conclusion.
University staff and students only. Requires University Computer Account login off-campus.
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.
English.
9783540718789 3540718788 354071877X 9783540718772 1280865725 9781280865725 9786610865727 6610865728
10.1007/978-3-540-71878-9 doi
978-3-540-71877-2 Springer http://www.springerlink.com
983485208 DE-101 985363576 DE-101
Computer software--Reliability.
Computers--Reliability.
Logiciels--Fiabilité.
Ordinateurs--Fiabilité.
Computers--Reliability.
Computer software--Reliability.
Informatique.
Computer software--Reliability
Computers--Reliability
algoritmen algorithms computeranalyse computer analysis computerwetenschappen computer sciences software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Academic Dissertation
dissertations.
Academic theses
Academic theses.
Thèses et écrits académiques.
QA76.6 / .L5125 2007eb
005
Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition / Ben Liblit. - Berlin ; New York : Springer, ©2007. - 1 online resource (xv, 101 pages) : illustrations - Lecture notes in computer science, 4440 0302-9743 ; ACM distinguished theses . - Lecture notes in computer science ; 4440. ACM distinguished theses. .
Includes bibliographical references (pages 97-101).
Instrumentation Framework -- Practical Considerations -- Techniques for Statistical Debugging -- Related Work -- Conclusion.
University staff and students only. Requires University Computer Account login off-campus.
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.
English.
9783540718789 3540718788 354071877X 9783540718772 1280865725 9781280865725 9786610865727 6610865728
10.1007/978-3-540-71878-9 doi
978-3-540-71877-2 Springer http://www.springerlink.com
983485208 DE-101 985363576 DE-101
Computer software--Reliability.
Computers--Reliability.
Logiciels--Fiabilité.
Ordinateurs--Fiabilité.
Computers--Reliability.
Computer software--Reliability.
Informatique.
Computer software--Reliability
Computers--Reliability
algoritmen algorithms computeranalyse computer analysis computerwetenschappen computer sciences software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Academic Dissertation
dissertations.
Academic theses
Academic theses.
Thèses et écrits académiques.
QA76.6 / .L5125 2007eb
005