EFSM-based test data generation with Multi-Population Genetic Algorithm | IEEE Conference Publication | IEEE Xplore