An Abstract Model for Testing MVC and Workflow Based Web Applications | IEEE Conference Publication | IEEE Xplore