We introduce “Retromorphic Testing,” a new, general methodology to the test oracle problem. It is a black-box technique, which constructs a dual program architecture to test the target software, inspired by the concept of inverse function. Read the paper