Exhaustive testing is impossible