Software testing without the oracle correctness assumption