Techniques for Automatic Detection of Metamorphic Relations | IEEE Conference Publication | IEEE Xplore