Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Tue 21 Jul 2020 12:30 - 12:50 at Zoom - BUG LOCALIZATION AND TEST ISOLATION Chair(s): Mattia Fazzini

A program fails. Under which circumstances does the failure occur? Starting with a single failure-inducing input “The input ‘((4))’ fails”) and an input grammar, the DDSET algorithm uses systematic tests to automatically generalize the input to an abstract failure-inducing input that contains both (concrete) terminal symbols and (abstract) nonterminal symbols from the grammar - for instance, “((<expr>))”, which represents any expression in double parentheses. Such an abstract failure-inducing input can be used

  1. as a debugging diagnostic, characterizing the circumstances under which a failure occurs (“The error occurs whenever an expression is enclosed in double parentheses”);

  2. as a producer of additional failure-inducing tests to help design and validate fixes and repair candidates (“The inputs ‘((1))’, ‘((3 * 4))’, and many more also fail”).

In its evaluation on real-world bugs in JavaScript, Clojure, Lua, and Coreutils, DDSET’s abstract failure-inducing inputs provided to-the-point diagnostics, and precise producers.

Tue 21 Jul
Times are displayed in time zone: Tijuana, Baja California change

12:10 - 13:10: BUG LOCALIZATION AND TEST ISOLATION Technical Papers at Zoom
Chair(s): Mattia FazziniUniversity of Minnesota

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10 - 12:30
Talk
Technical Papers
Michael PradelUniversity of Stuttgart, Vijayaraghavan MuraliFacebook, Inc., Rebecca QianFacebook, Inc., Mateusz MachalicaFacebook, Inc., Erik Meijer, Satish ChandraFacebook
DOI Media Attached
12:30 - 12:50
Talk
Technical Papers
Rahul GopinathCISPA Helmholtz Center for Information Security, Alexander KampmannCISPA Helmholtz Center for Information Security, Nikolas HavrikovCISPA Helmholtz Center for Information Security, Ezekiel O. SoremekunCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
DOI Pre-print Media Attached
12:50 - 13:10
Talk
Technical Papers
Pengyu NieThe University of Texas at Austin, Ahmet CelikFacebook, Matthew Coley, Aleksandar Milicevic, Jonathan BellNortheastern University, Milos GligoricThe University of Texas at Austin
DOI