Finding bugs using a debugger