Retromorphic Testing: A New Approach to the Test Oracle Problem