Candidate oversampling prefers two to tango
Finite state machine induction using genetic algorithm based on testing and model checking