Automated Test Case Generation for Web Applications from a Domain Specific Model | IEEE Conference Publication | IEEE Xplore