Steering model-based oracles to admit real program behaviors

The oracle—an arbiter of correctness of the system under test (SUT)—is a major component of the testing process. Specifying oracles is particularly challengi...