Automatic system identification based on coevolution of models and tests