PhD Program Spring School 2006
Mining Programs
| speaker | Prof. Dr. Andreas Zeller (Saarland University) |
| date | March 08, 2006 |
| abstract |
A program fails. How can we locate the cause? A new generation of program analysis techniques automatically determines failure causes - in the input, in the set of code changes, or in the program state. In contrast to "classical" static analysis, these new techniques exploit the data from multiple concrete runs - and may even generate further runs as needed. In this tutorial, we explore the state of the art in automated debugging in practice and research, using real-life case studies such as Mozilla and GCC. Finally, we discuss the current frontiers in debugging, and how future research may break them.
More Information: http://www.whyprogramsfail.com/ |