Error recovery using forced validity assisted by executable assertions for error detection: an experimental evaluation | IEEE Conference Publication | IEEE Xplore