The Delta Debugging project at Software Engineering Chair, Saarland University investigates a new automated debugging approach based on systematic testing. With Delta Debugging, we can find failure-inducing circumstances automatically—circumstances such as the program input, changes to the program code, program states, or thread schedules. http://www.st.cs.uni-sb.de/dd/

• Artikel bei NewsForge

Für die SpracheHaskell gibt es das Paket QuickCheck? welches Tests mit Zufallsdaten durchführt. Man kann es so programmieren, dass bei Daten mit Baumstruktur auch Unterstrukturen untersucht werden, sobald ein Test mit einem umfangreichen Datensatz fehlschlägt.