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 (GMT-05:00) Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: Research Papers - Debugging and Bug Localization at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan
fse-2018-research-papers13:30 - 13:52
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
fse-2018-research-papers13:52 - 14:15
Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
fse-2018-research-papers14:15 - 14:37
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
fse-2018-research-papers14:37 - 15:00
Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU