Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging