An Approach to Modeling and Testing Web Applications Based on Use Cases | IEEE Conference Publication | IEEE Xplore