A hybrid optimization approach to conformance testing of finite automata
Presented is a hybrid approach to generate Unique InputOutput sequences. The proposed method combines effective hill climbing and heuristics. Comparative studies with four other heuristics are reported. The hybrid approach has been generalized to seed-driven hybrid architectures.
hybrid approach metaheuristic algorithms genetic algorithm simulated annealing finite state machine state verification