Name:Florian Lorber

Country:Denmark

Affiliation:Aalborg University

Research interests:Model-based testing, mutation testing, automata learning, timed automata, strategy generation