Web Service Slicing: Intra and Inter-Operational Analysis to Test Changes | IEEE Journals & Magazine | IEEE Xplore