Symbolic Model Extraction for Web Application Verification | IEEE Conference Publication | IEEE Xplore