Real software engineers dont debug programs, they verify correctness.
This process doesnt necessarily involve execution of anything on a
computer, except perhaps a Correctness Verification Aid package.