More progress on tests generation