Test Case Auto-Generation For Web Applications: A Model-Based Approach | IEEE Conference Publication | IEEE Xplore