A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. - Minghui Wang; Jie Yuan; Huaikou Miao; Gemiao Tan (CSSE (2), 2008)