Title: A Debugging Methodology