My diploma thesis implementation on open- source of LearnLib automata learning library.