Optimal sanitization synthesis for web application vulnerability repair. - Fang Yu 001; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen 001; Bow-Yaw Wang; Tevfik Bultan (ISSTA, 2016)