combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .
ant system : optimization by a colony of cooperating agents .