Metamorphic Testing: Its Role and Impact in Software Testing, Software Proving and Fault Localization