To perform conformance checking of a software implementation with a (possibly non-deterministic) specification, a software implementation and a software specification are applied to produce a CT enabled implementation. Nondeterministic choices of the software specification result in assigning a corresponding...http://www.google.com/patents/US7216338?utm_source=gb-gplus-sharePatent US7216338 - Conformance execution of non-deterministic specifications for components
