Dynamic generation of tests in nested combinations of contexts Tim Bunce