A Static Analysis Approach for Automatic Generating Test Cases for Web Applications | IEEE Conference Publication | IEEE Xplore