A Formal Model for Generating Integrated Functional and User Interface Test Cases | IEEE Conference Publication | IEEE Xplore