Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation