Group colloquium: HermieLab: learning models of GUI-based Java programs made easy!

When: May 3, 2018, 15:45-16:45

Where: RA 3334

Who: Hans van der Laan

“The wealth of model-based techniques developed in Software Engineering such as model checking or model-based testing – is starkly contrasted with a frequent lack of formal models”*. However, don’t despair, a solution exists: Automata Learning. With automata learning, models of a target system can be reverse engineered by active interaction with it and reasoning about the observed output behavior. In practice, this has been used to learn models from various systems such as botnets, embedded control software and the biometric chips in our passports.

During this talk we will introduce the concepts of Automata Learning and show a framework we have developed on top of LearnLib, the most popular Automata Learning Library, which can be used to easily learn models of GUI-Based Java programs.

* = Isberner, Malte, Howar, Falk, and Steffen, Bernhard. The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. In RV ( 2014), 307-322.

	Home > News and Events > Events
<< EEMCS (EWI) Home News and Events » Group Colloquium » Events » In the Media People Research Education Vacancies Intranet Contact	Group colloquium: HermieLab: learning models of GUI-based Java programs made easy! When: May 3, 2018, 15:45-16:45 Where: RA 3334 Who: Hans van der Laan “The wealth of model-based techniques developed in Software Engineering such as model checking or model-based testing – is starkly contrasted with a frequent lack of formal models”. However, don’t despair, a solution exists: Automata Learning. With automata learning, models of a target system can be reverse engineered by active interaction with it and reasoning about the observed output behavior. In practice, this has been used to learn models from various systems such as botnets, embedded control software and the biometric chips in our passports. During this talk we will introduce the concepts of Automata Learning and show a framework we have developed on top of LearnLib, the most popular Automata Learning Library, which can be used to easily learn models of GUI-Based Java programs. = Isberner, Malte, Howar, Falk, and Steffen, Bernhard. The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. In RV ( 2014), 307-322.