Roughly "a possible conclusion". An oracle is a tool or resource used to determine if something is a problem or not. The oracle acts as a comparison point against e.g. the result we get from a test. It can be e.g. another program or an expected result. Oracles are heuristic, i.e. they often work but not always.