Test Case Generation for Non-functional and Functional Testing of Services | IEEE Conference Publication | IEEE Xplore