CONFORMANCE TESTING BY ADAPTIVE UIOS