Functionality, Performance, and Compatibility Testing: A Model Based Approach | IEEE Conference Publication | IEEE Xplore