Thu 8 Nov 2018 13:52 - 14:15 at Horizons 6-9F - Debugging and Bug Localization Chair(s): Earlence Fernandes

To understand, localize, and fix programming errors, developers often rely on interactive debuggers. However, as debuggers are software, they may themselves have bugs, which can make debugging unnecessarily hard or even cause developers to reason about bugs that do not actually exist in their code. This paper presents the first automated testing technique for interactive debuggers. The problem of testing debuggers is fundamentally different from the well-studied problem of testing compilers because debuggers are interactive and because they lack a specification of expected behavior. Our approach, called DBDB, generates debugger actions to exercise the debugger and records traces that summarize the debugger's behavior. By comparing traces of multiple debuggers with each other, we find diverging behavior that points to bugs and other noteworthy differences. We evaluate DBDB on the JavaScript debuggers of Firefox and Chromium, finding 19 previously unreported bugs, eight of which are already fixed by the developers.

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: Debugging and Bug LocalizationResearch Papers at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan
13:30 - 13:52
Talk
Research Papers
Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan
Link to publication DOI Authorizer link
13:52 - 14:15
Talk
Research Papers
Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
14:15 - 14:37
Talk
Research Papers
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
Pre-print
14:37 - 15:00
Talk
Research Papers
Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU
Pre-print