Adaptive testing, oracle generation, and test case ranking for Web services | IEEE Conference Publication | IEEE Xplore