Automata based test generation with SpecPro