Florian Lorber

Registered user since Fri 8 Nov 2019

Name: Florian Lorber

Country: Denmark

Affiliation: Aalborg University

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

Contributions

A-MOST 2020Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track
Committee Member in Program Committee within the A-MOST-track