Active coevolutionary learning of requirements specifications from examples
Finite state machine induction using genetic algorithm based on testing and model checking