Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions | IEEE Conference Publication | IEEE Xplore