An Approach to Testing Banking Software Using Metamorphic Relations | IEEE Conference Publication | IEEE Xplore