Process recovery by rollback and input modification. (2015)