Dynamic test oracles for rho problems

A proof of concept of cross-branch testing for compiled languages. Hillel Wayne recently published an article called Cross-Branch Testing. It outlines an approach to a class of problems that are hard to test. He mentions computer vision and simulations, among others.