Debugging
Stephen A. Edwards
Columbia University
Spring 2026
The Edwards Way to Debug
Mains Socket Plug Wire Switch Socket Bulb
1. Identify undesired behavior
2. Construct linear model for desired behavior
3. Pick a point along model
4. Form desired behavior hypothesis for point
5. Test
6. Move point toward failure if point working, away otherwise
7. Repeat #4–#6 until bug is found