Delta Debugging

Andreas Zeller: From automated Testing to Automated Debugging, automatische Konstruktion von

• minimalen Bugreports
• Fehlerursachen (bei großen Patches)

Modell:

• test : Set<Patch> -> { OK, FAIL, UNKNOWN }
• dd(low,high,n)=(x,y)
  • Vorbedingung low $\subseteq$ high,
    test(low)=OK, test(high)=FAIL
  • Nachbedingung x $\subseteq$ y,
    size(y) - size(x) ,,möglichst klein``