A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm | IEEE Conference Publication | IEEE Xplore