Patcher: An Online Service for Detecting, Viewing and Patching Web Application Vulnerabilities | IEEE Conference Publication | IEEE Xplore