Improving Robustness via Disjunctive Statements in Imperative Programming. - Keehang Kwon; Sungwoo Hur; Mi-Young Park (IEICE Trans. Inf. Syst., 2013)