Verifying integrity of exception handling in service-oriented software. - Tong Xue; Shi Ying; Qing Wu; Xiangyang Jia; Xiaohui Hu; Xiaoying Zhai; Tao Zhang (Int. J. Grid Util. Comput., 2017)