Automated oracles: an empirical study on cost and effectiveness