Testing by means of inductive program learning