artificial specification, automated oracles, neural network for software testing, software testing, specification mining.
