Notes on “Statistical debugging: A hypothesis testing-based approach”

June 26, 2009

Statistical debugging: A hypothesis testing-based approach: C. Liu. et al.

Gather correct and incorrect program executions, collecting data about when predicates throughout the program evaluate to true or false. Some predicates statistically discriminate correct and incorrect executions, and are excellent starting points for a search for faults.

The tool is called SOBER. Its results are incrementally better than other similar tools.

This approach is mostly nullified in several DSL implementation strategies.

%d bloggers like this: