Automated Checking of Web Application Invocations | IEEE Conference Publication | IEEE Xplore