 unwanted behaviour - an oracle to determine that there may be a problem.There are a number of ways to search and test for unwanted behaviour, whether some call it negative testing, where there are specialized subsets such as fuzzing.There are limitations in implicit test oracles - as they rely on implied conclusions and assumptions.